From 8a3376261e345178a3d153272d9530efb152b2ad Mon Sep 17 00:00:00 2001 From: Trygve Aaberge Date: Mon, 13 Feb 2023 21:51:12 +0100 Subject: [PATCH] Add send_mouse_event to fast_data_types.pyi --- kitty/fast_data_types.pyi | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/kitty/fast_data_types.pyi b/kitty/fast_data_types.pyi index fe6b2fb42..dfa2646d7 100644 --- a/kitty/fast_data_types.pyi +++ b/kitty/fast_data_types.pyi @@ -1338,6 +1338,10 @@ def mouse_selection(os_window_id: int, tab_id: int, window_id: int, code: int, b pass +def send_mouse_event(screen: Screen, x: int, y: int, button: int, action: int, mods: int) -> bool: + pass + + def set_window_logo(os_window_id: int, tab_id: int, window_id: int, path: str, position: str, alpha: float) -> None: pass