mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-19 15:04:50 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix :opt:mouse_hide_wait only taking effect after an event such as cursor blink or key press

Browse Source 
Fixes #1073
This commit is contained in:
Kovid Goyal
2018-10-20 14:01:55 +05:30
parent 27f2a2e3d5
commit 65f9ac32ef
4 changed files with 14 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
kitty/state.h
View File

@@ -173,6 +173,7 @@ void event_loop_wait(double timeout);
void swap_window_buffers(OSWindow *w);
void make_window_context_current(OSWindow *w);
void hide_mouse(OSWindow *w);
bool is_mouse_hidden(OSWindow *w);
void destroy_os_window(OSWindow *w);
void focus_os_window(OSWindow *w, bool also_raise);
void set_os_window_title(OSWindow *w, const char *title);