mirror of
https://github.com/kovidgoyal/kitty
synced 2026-07-26 02:02:14 +02:00
Resize OS panels on font size change
This commit is contained in:
@@ -419,7 +419,7 @@ void remove_main_loop_timer(id_type timer_id);
|
||||
void update_main_loop_timer(id_type timer_id, monotonic_t interval, bool enabled);
|
||||
void run_main_loop(tick_callback_fun, void*);
|
||||
void stop_main_loop(void);
|
||||
void os_window_update_size_increments(OSWindow *window);
|
||||
void on_os_window_font_size_change(OSWindow *window, double new_sz);
|
||||
void set_os_window_title_from_window(Window *w, OSWindow *os_window);
|
||||
void update_os_window_title(OSWindow *os_window);
|
||||
void fake_scroll(Window *w, int amount, bool upwards);
|
||||
|
||||
Reference in New Issue
Block a user