def on_playback_toggle_pause(self, event_type, player, track):
"""
Starts or stops update timer
"""
if player.is_playing():
self.__enable_timer()
elif player.is_paused():
self.__disable_timer()
def on_playback_toggle_pause(self, event_type, player, track):
"""
Starts or stops update timer
"""
if player.is_playing():
self.__enable_timer()
elif player.is_paused():
self.__disable_timer()
def __init__(self, player):
Playlist.__init__( self, _('History') )
# catch the history
event.add_ui_callback( self.__on_playback_track_start, 'playback_track_start', player )
if player.is_paused() or player.is_playing():
self.__on_playback_track_start( 'playback_track_start', player, player.current )
def __init__(self, player):
Playlist.__init__( self, _('History') )
# catch the history
event.add_ui_callback( self.__on_playback_track_start, 'playback_track_start', player )
if player.is_paused() or player.is_playing():
self.__on_playback_track_start( 'playback_track_start', player, player.current )
def on_pausebutton_toggled(self, type, player, data):
if player.is_paused():
## switch to play icon
self.pause_button.set_image(
gtk.image_new_from_stock('gtk-media-play', gtk.ICON_SIZE_BUTTON))
self.sensitive(False)
self.pause_button.set_sensitive(True)
else:
## switch back
self.pause_button.set_image(
gtk.image_new_from_stock('gtk-media-pause', gtk.ICON_SIZE_BUTTON))
self.sensitive(True)
def on_pausebutton_toggled(self, type, player, data):
if player.is_paused():
## switch to play icon
self.pause_button.set_image(
gtk.image_new_from_stock('gtk-media-play',
gtk.ICON_SIZE_BUTTON))
self.sensitive(False)
self.pause_button.set_sensitive(True)
else:
## switch back
self.pause_button.set_image(
gtk.image_new_from_stock('gtk-media-pause',
gtk.ICON_SIZE_BUTTON))
self.sensitive(True)
def _on_toggle_pause(self, type, player, object):
"""
Called when the user clicks the play button after playback has
already begun
"""
if player.is_paused():
image = self.__play_image
tooltip = _('Continue Playback')
else:
image = self.__pause_image
tooltip = _('Pause Playback')
self.playpause_button.set_image(image)
self.playpause_button.set_tooltip_text(tooltip)
def _on_toggle_pause(self, type, player, object):
"""
Called when the user clicks the play button after playback has
already begun
"""
if player.is_paused():
image = self.__play_image
tooltip = _('Continue Playback')
else:
image = self.__pause_image
tooltip = _('Pause Playback')
self.playpause_button.set_image(image)
self.playpause_button.set_tooltip_text(tooltip)
def _on_toggle_pause(self, type, player, object):
"""
Called when the user clicks the play button after playback has
already begun
"""
if player.is_paused():
image = Gtk.Image.new_from_stock(Gtk.STOCK_MEDIA_PLAY,
Gtk.IconSize.BUTTON)
tooltip = _('Continue Playback')
else:
image = Gtk.Image.new_from_stock(Gtk.STOCK_MEDIA_PAUSE,
Gtk.IconSize.BUTTON)
tooltip = _('Pause Playback')
self.playpause_button.set_image(image)
self.playpause_button.set_tooltip_text(tooltip)
def _on_toggle_pause(self, type, player, object):
"""
Called when the user clicks the play button after playback has
already begun
"""
if player.is_paused():
image = Gtk.Image.new_from_stock(Gtk.STOCK_MEDIA_PLAY,
Gtk.IconSize.BUTTON)
tooltip = _('Continue Playback')
else:
image = Gtk.Image.new_from_stock(Gtk.STOCK_MEDIA_PAUSE,
Gtk.IconSize.BUTTON)
tooltip = _('Pause Playback')
self.playpause_button.set_image(image)
self.playpause_button.set_tooltip_text(tooltip)
def on_toggle_pause(self, type, player, object):
"""
Called when the user clicks the play button after playback has
already begun
"""
if player.is_paused():
image = gtk.image_new_from_stock(gtk.STOCK_MEDIA_PLAY, gtk.ICON_SIZE_SMALL_TOOLBAR)
tooltip = _("Continue Playback")
else:
image = gtk.image_new_from_stock(gtk.STOCK_MEDIA_PAUSE, gtk.ICON_SIZE_SMALL_TOOLBAR)
tooltip = _("Pause Playback")
glib.idle_add(self.playpause_button.set_image, image)
glib.idle_add(self.playpause_button.set_tooltip_text, tooltip)
self._update_track_information()
# refresh the current playlist
pl = self.get_selected_page()
def on_toggle_pause(self, type, player, object):
"""
Called when the user clicks the play button after playback has
already begun
"""
if player.is_paused():
image = gtk.image_new_from_stock(gtk.STOCK_MEDIA_PLAY,
gtk.ICON_SIZE_SMALL_TOOLBAR)
tooltip = _('Continue Playback')
else:
image = gtk.image_new_from_stock(gtk.STOCK_MEDIA_PAUSE,
gtk.ICON_SIZE_SMALL_TOOLBAR)
tooltip = _('Pause Playback')
glib.idle_add(self.playpause_button.set_image, image)
glib.idle_add(self.playpause_button.set_tooltip_text, tooltip)
self._update_track_information()
# refresh the current playlist
pl = self.get_selected_page()
