# HG changeset patch
# User Tomasz Mon <desowin@gmail.com>
# Date 1194028410 -3600
# Node ID 266c09408c07eca6d246a21fd1ce0c4535d5264e
# Parent  bd11d516f3676021c2e306d8e9c71506be2feb11
some skins have lesser SKIN_PLAYPAUSE

diff -r bd11d516f367 -r 266c09408c07 src/audacious/skin.c
--- a/src/audacious/skin.c	Fri Nov 02 19:26:17 2007 +0100
+++ b/src/audacious/skin.c	Fri Nov 02 19:33:30 2007 +0100
@@ -49,6 +49,7 @@
 
 #include "ui_skinned_window.h"
 #include "ui_skinned_number.h"
+#include "ui_skinned_playstatus.h"
 
 #define EXTENSION_TARGETS 7
 
@@ -1619,6 +1620,10 @@
     if (pixmap && skin->properties.mainwin_height > pixmap->height)
         skin->properties.mainwin_height = pixmap->height;
 
+    pixmap = skin_get_pixmap(skin, SKIN_PLAYPAUSE);
+    if (pixmap)
+        ui_skinned_playstatus_set_size(mainwin_playstatus, 11, pixmap->height);
+
     return error;
 }
 
diff -r bd11d516f367 -r 266c09408c07 src/audacious/ui_skinned_playstatus.c
--- a/src/audacious/ui_skinned_playstatus.c	Fri Nov 02 19:26:17 2007 +0100
+++ b/src/audacious/ui_skinned_playstatus.c	Fri Nov 02 19:33:30 2007 +0100
@@ -250,3 +250,13 @@
     playstatus->buffering = status;
     gtk_widget_queue_draw(widget);
 }
+
+void ui_skinned_playstatus_set_size(GtkWidget *widget, gint width, gint height) {
+    g_return_if_fail (UI_SKINNED_IS_PLAYSTATUS (widget));
+    UiSkinnedPlaystatus *playstatus = UI_SKINNED_PLAYSTATUS (widget);
+
+    playstatus->width = width;
+    playstatus->height = height;
+
+    gtk_widget_set_size_request(widget, width*(1+playstatus->double_size), height*(1+playstatus->double_size));
+}
diff -r bd11d516f367 -r 266c09408c07 src/audacious/ui_skinned_playstatus.h
--- a/src/audacious/ui_skinned_playstatus.h	Fri Nov 02 19:26:17 2007 +0100
+++ b/src/audacious/ui_skinned_playstatus.h	Fri Nov 02 19:33:30 2007 +0100
@@ -63,6 +63,7 @@
 GtkType ui_skinned_playstatus_get_type(void);
 void ui_skinned_playstatus_set_status(GtkWidget *widget, PStatus status);
 void ui_skinned_playstatus_set_buffering(GtkWidget *widget, gboolean status);
+void ui_skinned_playstatus_set_size(GtkWidget *widget, gint width, gint height);
 
 #ifdef __cplusplus
 }