# HG changeset patch
# User Tomasz Mon <desowin@gmail.com>
# Date 1183978970 -7200
# Node ID e84073b61ba55c76571d4a21e17b25b2ff393f16
# Parent  d891850c4042bb4fbf857f176dbf79398fed8aaa
fix tinyplayer skin

diff -r d891850c4042 -r e84073b61ba5 src/audacious/ui_main.c
--- a/src/audacious/ui_main.c	Mon Jul 09 12:08:39 2007 +0200
+++ b/src/audacious/ui_main.c	Mon Jul 09 13:02:50 2007 +0200
@@ -663,6 +663,9 @@
 
     if (bmp_active_skin->properties.mainwin_othertext_visible)
         gtk_widget_show(mainwin_othertext);
+    else
+        if (GTK_WIDGET_VISIBLE(mainwin_othertext))
+            gtk_widget_hide(mainwin_othertext);
     }
     else
     {