diff options
Diffstat (limited to 'frontends/gtk/gui.c')
| -rw-r--r-- | frontends/gtk/gui.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/frontends/gtk/gui.c b/frontends/gtk/gui.c index f14c7bd92..ea8d77a46 100644 --- a/frontends/gtk/gui.c +++ b/frontends/gtk/gui.c @@ -543,6 +543,12 @@ static void gui_quit(void) messages_get_errorcode(res)); } + res = save_complete_finalise(); + if (res != NSERROR_OK) { + NSLOG(netsurf, INFO, "Error finalising save complete: %s", + messages_get_errorcode(res)); + } + free(nsgtk_config_home); gtk_fetch_filetype_fin(); |