mirror of
https://github.com/kovidgoyal/kitty
synced 2026-07-27 10:41:58 +02:00
Fix reloading of various settings
This commit is contained in:
@@ -300,3 +300,4 @@ void mouse_selection(Window *w, int code, int button);
|
||||
const char* format_mods(unsigned mods);
|
||||
void send_pending_click_to_window_id(id_type, void*);
|
||||
void send_pending_click_to_window(Window*, void*);
|
||||
void get_platform_dependent_config_values(void *glfw_window);
|
||||
|
||||
Reference in New Issue
Block a user