# HG changeset patch
# User Tomasz Mon <desowin@gmail.com>
# Date 1184080118 -7200
# Node ID bd32633b4de29a36563865be0fd390e767b3e08e
# Parent  883713b145f8a850ed516afadb5666b34288eaeb
show UiSkinnedNumber only when track is playing

diff -r 883713b145f8 -r bd32633b4de2 src/audacious/ui_main.c
--- a/src/audacious/ui_main.c	Tue Jul 10 17:00:43 2007 +0200
+++ b/src/audacious/ui_main.c	Tue Jul 10 17:08:38 2007 +0200
@@ -311,7 +311,7 @@
         gtk_widget_hide(mainwin_stime_sec);
         widget_hide(WIDGET(mainwin_sposition));
 
-        if (!GTK_WIDGET_VISIBLE(mainwin_minus_num)) {
+        if (playback_get_playing() && !GTK_WIDGET_VISIBLE(mainwin_minus_num)) {
             gtk_widget_show(mainwin_minus_num);
             gtk_widget_show(mainwin_10min_num);
             gtk_widget_show(mainwin_min_num);