From e115b6c0482bd25bfc9b0c7d823f1025c02f5ac8 Mon Sep 17 00:00:00 2001 From: Pierre Pronchery Date: Sun, 24 Nov 2013 05:18:09 +0100 Subject: [PATCH] Explicitly delete the desktop window when exiting (if in use) --- src/desktop.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/desktop.c b/src/desktop.c index 53382a4..ea6ace7 100644 --- a/src/desktop.c +++ b/src/desktop.c @@ -651,6 +651,8 @@ void desktop_delete(Desktop * desktop) { size_t i; + if(desktop->desktop != NULL) + gtk_widget_destroy(desktop->desktop); if(desktop->refresh_source != 0) g_source_remove(desktop->refresh_source); for(i = 0; i < desktop->icon_cnt; i++)