comparison src/skins/plugin.c @ 2859:312ba23cbb87

transform UiSkinnedButton into windowless widget
author Tomasz Mon <desowin@gmail.com>
date Sun, 03 Aug 2008 14:11:02 +0200
parents d75f0db10f53
children 469f7e596a20
comparison
equal deleted inserted replaced
2858:528d19a2ea3d 2859:312ba23cbb87
105 } 105 }
106 106
107 gboolean skins_cleanup(void) { 107 gboolean skins_cleanup(void) {
108 if (plugin_is_active == TRUE) { 108 if (plugin_is_active == TRUE) {
109 skins_cfg_save(); 109 skins_cfg_save();
110 cleanup_skins();
110 skins_free_paths(); 111 skins_free_paths();
111 ui_main_evlistener_dissociate(); 112 ui_main_evlistener_dissociate();
112 ui_playlist_evlistener_dissociate(); 113 ui_playlist_evlistener_dissociate();
113 skins_cfg_free(); 114 skins_cfg_free();
114 gtk_widget_destroy(mainwin); 115 gtk_widget_destroy(mainwin);
115 gtk_widget_destroy(equalizerwin); 116 gtk_widget_destroy(equalizerwin);
116 gtk_widget_destroy(playlistwin); 117 gtk_widget_destroy(playlistwin);
117 ui_manager_destroy(); 118 ui_manager_destroy();
118 skin_destroy(aud_active_skin);
119 aud_active_skin = NULL;
120 mainwin = NULL; 119 mainwin = NULL;
121 equalizerwin = NULL; 120 equalizerwin = NULL;
122 playlistwin = NULL; 121 playlistwin = NULL;
123 mainwin_info = NULL; 122 mainwin_info = NULL;
124 plugin_is_active = FALSE; 123 plugin_is_active = FALSE;