diff options
Diffstat (limited to 'src/gui/gui-window.c')
| -rw-r--r-- | src/gui/gui-window.c | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/src/gui/gui-window.c b/src/gui/gui-window.c index e1b19a5a9..31d68325b 100644 --- a/src/gui/gui-window.c +++ b/src/gui/gui-window.c @@ -54,7 +54,7 @@ int gui_init_ok = 0; /* = 1 if GUI is initialized*/ int gui_ok = 0; /* = 1 if GUI is ok */ /* (0 when size too small) */ int gui_window_refresh_needed = 0; /* = 1 if refresh needed */ - + /* = 2 for full refresh */ struct t_gui_window *gui_windows = NULL; /* first window */ struct t_gui_window *last_gui_window = NULL; /* last window */ struct t_gui_window *gui_current_window = NULL; /* current window */ @@ -63,6 +63,17 @@ struct t_gui_window_tree *gui_windows_tree = NULL; /* windows tree */ /* + * gui_window_ask_refresh: set "gui_window_refresh_needed" flag + */ + +void +gui_window_ask_refresh (int refresh) +{ + if (refresh > gui_window_refresh_needed) + gui_window_refresh_needed = refresh; +} + +/* * gui_window_tree_init: create first entry in windows tree */ |