def __init__(self, auto_hide=True, mini_mode=False):
super(VolumeSlider, self).__init__()
self.volume_button = VolumeButton(auto_hide=auto_hide,
mini_mode=mini_mode)
Tooltip.custom(self.volume_button, self.get_tip_label).always_update(
self.volume_button, True)
self.volume_button.connect("volume-state-changed",
self.__volume_changed)
self.load_volume_config()
Dispatcher.connect("volume", self.change_volume)
self.add(self.volume_button)
def __init__(self, auto_hide=True, mini_mode=False):
super(VolumeSlider, self).__init__()
self.volume_button = VolumeButton(auto_hide=auto_hide, mini_mode=mini_mode)
Tooltip.custom(self.volume_button, self.get_tip_label).always_update(self.volume_button, True)
self.volume_button.connect("volume-state-changed",self.__volume_changed)
self.load_volume_config()
Dispatcher.connect("volume", self.change_volume)
self.add(self.volume_button)
class VolumeSlider(gtk.VBox):
def __init__(self, auto_hide=True, mini_mode=False):
super(VolumeSlider, self).__init__()
self.volume_button = VolumeButton(auto_hide=auto_hide,
mini_mode=mini_mode)
Tooltip.custom(self.volume_button, self.get_tip_label).always_update(
self.volume_button, True)
self.volume_button.connect("volume-state-changed",
self.__volume_changed)
self.load_volume_config()
Dispatcher.connect("volume", self.change_volume)
self.add(self.volume_button)
def load_volume_config(self):
save_volume = float(config.get("player", "volume"))
volume_mute = config.getboolean("player", "volume_mute")
if volume_mute:
self.volume_button.set_value(int(save_volume * 100), False)
self.volume_button.set_mute()
Player.volume = 0
else:
self.volume_button.set_value(int(save_volume * 100), False)
self.volume_button.unset_mute()
Player.volume = save_volume
def get_tip_label(self):
return Label(str(int(self.volume_button.get_value())))
def change_volume(self, helper, value):
config.set("player", "volume_mute", "false")
self.volume_button.unset_mute()
val = value * 100
self.volume_button.set_value(int(val))
def __volume_changed(self, widget, value, mute_status):
val = value / 100.0
if mute_status:
config.set("player", "volume_mute", "true")
Player.volume = 0.0
else:
config.set("player", "volume_mute", "false")
config.set("player", "volume", "%0.1f" % val)
Player.volume = val
class VolumeSlider(gtk.VBox):
def __init__(self, auto_hide=True, mini_mode=False):
super(VolumeSlider, self).__init__()
self.volume_button = VolumeButton(auto_hide=auto_hide, mini_mode=mini_mode)
Tooltip.custom(self.volume_button, self.get_tip_label).always_update(self.volume_button, True)
self.volume_button.connect("volume-state-changed",self.__volume_changed)
self.load_volume_config()
Dispatcher.connect("volume", self.change_volume)
self.add(self.volume_button)
def load_volume_config(self):
save_volume = float(config.get("player","volume"))
volume_mute = config.getboolean("player", "volume_mute")
if volume_mute:
self.volume_button.set_value(int(save_volume * 100), False)
self.volume_button.set_mute()
Player.volume = 0
else:
self.volume_button.set_value(int(save_volume * 100), False)
self.volume_button.unset_mute()
Player.volume = save_volume
def get_tip_label(self):
return Label(str(int(self.volume_button.get_value())))
def change_volume(self,helper,value):
val = value * 100
self.volume_button.set_value(int(val))
def __volume_changed(self, widget, value, mute_status):
val = value / 100.0
if mute_status:
config.set("player", "volume_mute", "true")
Player.volume = 0.0
else:
config.set("player", "volume_mute", "false")
config.set("player","volume","%0.1f" % val)
Player.volume = val
