mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-19 23:14:55 +02:00
Code Issues Packages Projects Releases Wiki Activity

Workaround for mypy bug

Browse Source
This commit is contained in:
Kovid Goyal
2022-11-15 22:37:46 +05:30
parent 0c0b9e6b9c
commit f3b3d6c0ef
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
kitty/window.py
View File

@@ -94,7 +94,7 @@ class CwdRequest:
if reported_cwd and not window.child_is_remote and (self.request_type is CwdRequestType.last_reported or window.at_prompt): if reported_cwd and not window.child_is_remote and (self.request_type is CwdRequestType.last_reported or window.at_prompt):
return reported_cwd return reported_cwd
if self.request_type is CwdRequestType.root: if self.request_type is CwdRequestType.root:
return window.child.current_cwd or '' return window.get_cwd_of_root_child() or ''
return window.get_cwd_of_child(oldest=self.request_type is CwdRequestType.oldest) or '' return window.get_cwd_of_child(oldest=self.request_type is CwdRequestType.oldest) or ''
def modify_argv_for_launch_with_cwd(self, argv: List[str]) -> str: def modify_argv_for_launch_with_cwd(self, argv: List[str]) -> str:
@@ -1388,6 +1388,9 @@ class Window:
def get_cwd_of_child(self, oldest: bool = False) -> Optional[str]: def get_cwd_of_child(self, oldest: bool = False) -> Optional[str]:
return self.child.get_foreground_cwd(oldest) or self.child.current_cwd return self.child.get_foreground_cwd(oldest) or self.child.current_cwd
def get_cwd_of_root_child(self) -> Optional[str]:
return self.child.current_cwd
@property @property
def cwd_of_child(self) -> Optional[str]: def cwd_of_child(self) -> Optional[str]:
return self.get_cwd_of_child() return self.get_cwd_of_child()