# HG changeset patch # User Tomasz Mon # Date 1211398721 -7200 # Node ID fdb76ef9d624448e0a39f41fde1e47985b4c6ff0 # Parent 2d6e08c81c09548af2449b13da22779101485af6 little fix diff -r 2d6e08c81c09 -r fdb76ef9d624 src/skins/ui_playlist.c --- a/src/skins/ui_playlist.c Wed May 21 21:35:11 2008 +0200 +++ b/src/skins/ui_playlist.c Wed May 21 21:38:41 2008 +0200 @@ -182,6 +182,7 @@ static void playlistwin_update_sinfo(Playlist *playlist) { +#if 0 gchar *posstr, *timestr, *title, *info; gint pos, time; @@ -217,6 +218,7 @@ ui_skinned_textbox_set_text(playlistwin_sinfo, info ? info : ""); g_free(info); +#endif } gboolean diff -r 2d6e08c81c09 -r fdb76ef9d624 src/skins/ui_skinned_window.c --- a/src/skins/ui_skinned_window.c Wed May 21 21:35:11 2008 +0200 +++ b/src/skins/ui_skinned_window.c Wed May 21 21:38:41 2008 +0200 @@ -134,10 +134,8 @@ height = 116 * (config.scaled ? config.scale_factor : 1) ; break; case WINDOW_PLAYLIST: -#if 0 width = playlistwin_get_width(); height = config.playlist_height; -#endif break; default: return FALSE; @@ -275,10 +273,9 @@ } void ui_skinned_window_draw_all(GtkWidget *widget) { -#if 0 if (SKINNED_WINDOW(widget)->type == WINDOW_MAIN) mainwin_refresh_hints(); -#endif + gtk_widget_queue_draw(widget); GList *iter; for (iter = GTK_FIXED (SKINNED_WINDOW(widget)->fixed)->children; iter; iter = g_list_next (iter)) {