diff options
Diffstat (limited to 'desktop')
-rw-r--r-- | desktop/gui.h | 1 | ||||
-rw-r--r-- | desktop/netsurf.c | 1 |
2 files changed, 2 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); diff --git a/desktop/netsurf.c b/desktop/netsurf.c index ebc364612..61b4568a9 100644 --- a/desktop/netsurf.c +++ b/desktop/netsurf.c @@ -76,4 +76,5 @@ void netsurf_exit(void) { cache_quit(); fetch_quit(); + gui_quit(); } |