diff options
Diffstat (limited to 'desktop/gui.h')
-rw-r--r-- | desktop/gui.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/desktop/gui.h b/desktop/gui.h index aa87b6681..5ca8e038d 100644 --- a/desktop/gui.h +++ b/desktop/gui.h @@ -53,6 +53,7 @@ void gui_download_window_error(gui_window *g, const char *error); void gui_init(int argc, char** argv); void gui_multitask(void); void gui_poll(bool active); +void gui_quit(void); gui_safety gui_window_set_redraw_safety(gui_window* g, gui_safety s); |