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 c08ab0ae4..8d6b42234 100644 --- a/frontends/gtk/gui.c +++ b/frontends/gtk/gui.c @@ -449,6 +449,12 @@ static void gui_quit(void) messages_get_errorcode(res)); } + res = hotlist_fini(nsoption_charp(hotlist_path)); + if (res != NSERROR_OK) { + LOG("Error finalising hotlist: %s", + messages_get_errorcode(res)); + } + free(nsgtk_config_home); gtk_fetch_filetype_fin(); |