Explicitly delete the desktop window when exiting (if in use)

This commit is contained in:
Pierre Pronchery 2013-11-24 05:18:09 +01:00
parent 0cd6d4deae
commit e115b6c048

View File

@ -651,6 +651,8 @@ void desktop_delete(Desktop * desktop)
{ {
size_t i; size_t i;
if(desktop->desktop != NULL)
gtk_widget_destroy(desktop->desktop);
if(desktop->refresh_source != 0) if(desktop->refresh_source != 0)
g_source_remove(desktop->refresh_source); g_source_remove(desktop->refresh_source);
for(i = 0; i < desktop->icon_cnt; i++) for(i = 0; i < desktop->icon_cnt; i++)