diff options
Diffstat (limited to 'frontends/gtk/gui.c')
| -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", |