From 9a8f6335aa56d1bca9c2b30ca59833d11b1917b0 Mon Sep 17 00:00:00 2001 From: Yann Leboulanger Date: Mon, 11 Apr 2005 10:02:10 +0000 Subject: [PATCH] little bugfix --- plugins/gtkgui/config.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugins/gtkgui/config.py b/plugins/gtkgui/config.py index 04a527105..6be014e4a 100644 --- a/plugins/gtkgui/config.py +++ b/plugins/gtkgui/config.py @@ -739,7 +739,7 @@ class Preferences_window: self.xml.get_widget('browse_sounds_hbox').set_sensitive(False) if os.name == 'nt': # if windows, player must not be changeable - self.xml.get_widget('sound_player_hbox').set_visible(False) + self.xml.get_widget('sound_player_hbox').set_sensitive(False) #sound player self.xml.get_widget('soundplayer_entry').set_text(\