mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-07-10 17:53:23 +00:00
Make mypy happy
This commit is contained in:
parent
13fc98d7ec
commit
5ed2c0cfd9
1 changed files with 1 additions and 0 deletions
|
|
@ -3740,3 +3740,4 @@ class Boss:
|
|||
def copy_or_noop(self) -> bool | None:
|
||||
if w := self.active_window:
|
||||
return w.copy_or_noop()
|
||||
return None
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue