From ae8da889c4d80916a6abd919b17f509eca404305 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sat, 20 Jul 2024 10:15:01 +0530 Subject: [PATCH] Make mypy 1.11 happy --- docs/conf.py | 6 ++++-- kittens/choose_fonts/backend.py | 8 +++++--- kitty/boss.py | 4 ++-- 3 files changed, 11 insertions(+), 7 deletions(-) diff --git a/docs/conf.py b/docs/conf.py index cae1feef0..da38a1ca1 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -317,8 +317,10 @@ def write_remote_control_protocol_docs() -> None: # {{{ else: title = f'{title} (optional)' p(f':code:`{title}`') - p(' ', desc), p() - p(), p() + p(' ', desc) + p() + p() + p() with open('generated/rc.rst', 'w') as f: p = partial(print, file=f) diff --git a/kittens/choose_fonts/backend.py b/kittens/choose_fonts/backend.py index b7e2162df..5fcc89ae0 100644 --- a/kittens/choose_fonts/backend.py +++ b/kittens/choose_fonts/backend.py @@ -48,10 +48,12 @@ def setup_debug_print() -> bool: def send_to_kitten(x: Any) -> None: + f = sys.__stdout__ + assert f is not None try: - sys.__stdout__.buffer.write(json.dumps(x).encode()) - sys.__stdout__.buffer.write(b'\n') - sys.__stdout__.buffer.flush() + f.buffer.write(json.dumps(x).encode()) + f.buffer.write(b'\n') + f.buffer.flush() except BrokenPipeError: raise SystemExit('Pipe to kitten was broken while sending data to it') diff --git a/kitty/boss.py b/kitty/boss.py index 8882ae996..a1d8a1bef 100644 --- a/kitty/boss.py +++ b/kitty/boss.py @@ -836,8 +836,8 @@ class Boss: focused_os_window = os_window_id if opts.background_opacity != get_options().background_opacity: self._set_os_window_background_opacity(os_window_id, opts.background_opacity) - if data.get('notify_on_os_window_death'): - self.os_window_death_actions[os_window_id] = partial(self.notify_on_os_window_death, data['notify_on_os_window_death']) + if n := data.get('notify_on_os_window_death'): + self.os_window_death_actions[os_window_id] = partial(self.notify_on_os_window_death, n) if focused_os_window > 0: focus_os_window(focused_os_window, True, activation_token) elif activation_token and is_wayland() and os_window_id: