diff options
author | Vincent Sanders <vince@kyllikki.org> | 2017-02-25 13:42:26 +0000 |
---|---|---|
committer | Vincent Sanders <vince@kyllikki.org> | 2017-02-26 16:26:50 +0000 |
commit | 86134d9881cfce266fcd21587917016b0afe25dd (patch) | |
tree | 3bc9ccee46a9f9c67c625c5c56bbc9d6d29cd72b | |
parent | 25f9610d036f643de5537309b6482e3f56ff53ef (diff) | |
download | netsurf-86134d9881cfce266fcd21587917016b0afe25dd.tar.gz netsurf-86134d9881cfce266fcd21587917016b0afe25dd.tar.bz2 |
add local history destruction for gtk
-rw-r--r-- | frontends/gtk/gui.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/frontends/gtk/gui.c b/frontends/gtk/gui.c index 8d6b42234..63646b42d 100644 --- a/frontends/gtk/gui.c +++ b/frontends/gtk/gui.c @@ -58,6 +58,7 @@ #include "gtk/download.h" #include "gtk/fetch.h" #include "gtk/gui.h" +#include "gtk/local_history.h" #include "gtk/global_history.h" #include "gtk/hotlist.h" #include "gtk/throbber.h" @@ -437,6 +438,12 @@ static void gui_quit(void) messages_get_errorcode(res)); } + res = nsgtk_local_history_destroy(); + if (res != NSERROR_OK) { + LOG("Error finalising local history viewer: %s", + messages_get_errorcode(res)); + } + res = nsgtk_global_history_destroy(); if (res != NSERROR_OK) { LOG("Error finalising global history viewer: %s", |