# HG changeset patch # User Tomasz Mon # Date 1218114849 -7200 # Node ID 469f7e596a20149d9ec7ab4f479d6d0f981c5c8e # Parent 455e6e37feae0e57b44d2ab3cd25a41feb93ed9d hide widgets before performing skin cleanup diff -r 455e6e37feae -r 469f7e596a20 src/skins/plugin.c --- a/src/skins/plugin.c Thu Aug 07 13:36:41 2008 +0300 +++ b/src/skins/plugin.c Thu Aug 07 15:14:09 2008 +0200 @@ -106,15 +106,15 @@ gboolean skins_cleanup(void) { if (plugin_is_active == TRUE) { + gtk_widget_hide(mainwin); + gtk_widget_hide(equalizerwin); + gtk_widget_hide(playlistwin); skins_cfg_save(); cleanup_skins(); skins_free_paths(); ui_main_evlistener_dissociate(); ui_playlist_evlistener_dissociate(); skins_cfg_free(); - gtk_widget_destroy(mainwin); - gtk_widget_destroy(equalizerwin); - gtk_widget_destroy(playlistwin); ui_manager_destroy(); mainwin = NULL; equalizerwin = NULL;