From 86134d9881cfce266fcd21587917016b0afe25dd Mon Sep 17 00:00:00 2001 From: Vincent Sanders Date: Sat, 25 Feb 2017 13:42:26 +0000 Subject: add local history destruction for gtk --- frontends/gtk/gui.c | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'frontends') 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", -- cgit v1.2.3