The focus_follows_mouse option now also works across top-level kitty OS windows

Fixes #772
2018-07-30 21:26:20 +05:30
parent 78def6e6bf
commit 9af3081f45
8 changed files with 48 additions and 8 deletions
@@ -280,6 +280,7 @@ void colorprofile_push_dynamic_colors(ColorProfile*);
 void colorprofile_pop_dynamic_colors(ColorProfile*);

 void set_mouse_cursor(MouseShape);
+void enter_event();
 void mouse_event(int, int);
 void focus_in_event();
 void wakeup_io_loop(bool);