From 9742e2ec487c2e202b06f9d5519b0e6e8c2fa03b Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sat, 5 Feb 2022 19:53:16 +0530 Subject: [PATCH] Make mypy happy --- kitty/boss.py | 6 +++--- kitty/fast_data_types.pyi | 3 +++ kitty/main.py | 6 +++--- 3 files changed, 9 insertions(+), 6 deletions(-) diff --git a/kitty/boss.py b/kitty/boss.py index 58efe8da7..daeb29ba3 100644 --- a/kitty/boss.py +++ b/kitty/boss.py @@ -275,8 +275,8 @@ class Boss: self.keymap.pop(sc, None) def startup_first_child(self, os_window_id: Optional[int], startup_sessions: Sequence[Optional[Session]] = ()) -> None: - startup_sessions = startup_sessions or create_sessions(get_options(), self.args, default_session=get_options().startup_session) - for startup_session in startup_sessions: + si = startup_sessions or create_sessions(get_options(), self.args, default_session=get_options().startup_session) + for startup_session in si: self.add_os_window(startup_session, os_window_id=os_window_id) os_window_id = None if self.args.start_as != 'normal': @@ -2252,7 +2252,7 @@ class Boss: return from .launch import force_window_launch from .open_actions import actions_for_launch - actions = [] + actions: List[KeyAction] = [] for url in urls: actions.extend(actions_for_launch(url)) tab = self.active_tab diff --git a/kitty/fast_data_types.pyi b/kitty/fast_data_types.pyi index adc079fb4..351a67b38 100644 --- a/kitty/fast_data_types.pyi +++ b/kitty/fast_data_types.pyi @@ -1051,6 +1051,9 @@ class Screen: def line(self, num: int) -> Line: pass + def visual_line(self, num: int) -> Line: + pass + def draw(self, text: str) -> None: pass diff --git a/kitty/main.py b/kitty/main.py index 5bbeba177..e88e51eb6 100644 --- a/kitty/main.py +++ b/kitty/main.py @@ -368,9 +368,9 @@ def _main() -> None: if not cwd_ok: os.chdir(os.path.expanduser('~')) if getattr(sys, 'cmdline_args_for_open', False): - usage = 'file_or_url ...' - appname = 'kitty +open' - msg = ( + usage: Optional[str] = 'file_or_url ...' + appname: Optional[str] = 'kitty +open' + msg: Optional[str] = ( 'Run kitty and open the specified files or URLs in it, using launch-actions.conf. For details' ' see https://sw.kovidgoyal.net/kitty/open_actions/#scripting-the-opening-of-files-with-kitty-on-macos' '\n\nAll the normal kitty options can be used.')