From 32ad75c5abc4b71f7ebb0c77ac1df978a4b6e871 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sun, 24 Oct 2021 23:03:33 +0530 Subject: [PATCH] Workaround mypy bug --- kitty/tabs.py | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/kitty/tabs.py b/kitty/tabs.py index 150a58ddf..ecc459f62 100644 --- a/kitty/tabs.py +++ b/kitty/tabs.py @@ -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):