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

Merge branch 'add-python-typing-for-send_mouse_event' of https://github.com/trygveaa/kitty

Browse Source
This commit is contained in:
Kovid Goyal 2023-02-14 10:00:16 +05:30
commit 31b804d8fb
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
kitty/fast_data_types.pyi
View File

@ -1338,6 +1338,10 @@ def mouse_selection(os_window_id: int, tab_id: int, window_id: int, code: int, b
pass 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: def set_window_logo(os_window_id: int, tab_id: int, window_id: int, path: str, position: str, alpha: float) -> None:
pass pass