KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Workaround mypy bug

Browse Source
This commit is contained in:
Kovid Goyal 2021-10-24 23:03:33 +05:30
parent 7a45653575
commit 32ad75c5ab
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
kitty/tabs.py
View File

@ -36,11 +36,11 @@ from .window_list import WindowList
class TabMouseEvent(NamedTuple):
button: int = -1
modifiers: int = 0
action: int = GLFW_PRESS
at: float = -1000.
tab_idx: Optional[int] = None
button: int
modifiers: int
action: int
at: float
tab_idx: Optional[int]
class TabDict(TypedDict):