def __init__(self):
Gtk.Alignment.__init__(self)
BaseControl.__init__(self)
self.set_padding(3, 3, 0, 0)
self.progressbar = SeekProgressBar(player.PLAYER)
self.progressbar.set_size_request(200, -1)
self.add(self.progressbar)
if player.PLAYER.current is not None:
self.progressbar.on_playback_track_start('playback_track_start',
player.PLAYER,
player.PLAYER.current)
if player.PLAYER.is_paused():
self.progressbar.on_playback_toggle_pause(
'playback_toggle_pause', player.PLAYER,
player.PLAYER.current)
def __init__(self):
PlaylistButtonControl.__init__(self)
self.set_name('progressbutton')
self.add_events(gtk.gdk.POINTER_MOTION_MASK)
self.progressbar = SeekProgressBar(player.PLAYER)
self.progressbar.set_size_request(-1, 1)
self.progressbar.formatter = ProgressButtonFormatter()
gtk_widget_replace(self.label, self.progressbar)
self.label = self.progressbar
if player.PLAYER.current is not None:
self.progressbar.on_playback_track_start('playback_track_start',
player.PLAYER,
player.PLAYER.current)
self.tooltip = TrackToolTip(self, player.PLAYER)
self.tooltip.set_auto_update(True)
