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 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 = 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()