def quit(self, widget=None, event=None): ## Quits the program. # Stop the player first to avoid tracebacks. player.stopCompletely() # Restore the screensaver. useful.resumeScr() # Save the configuration to the file. cfg.save() gtk.main_quit()
def onPlayerStateChange(self, message):
# On a state change.
msg = message.parse_state_changed()
# Store the old and new states.
old, new = msg[0], msg[1]
if (old == gst.STATE_READY and new == gst.STATE_PAUSED):
# The player has gone from stopped to paused.
# Get the array of audio tracks.
self.audioTracks = playerTools.getAudioLangArray(player)
# Only enable the audio track menu item if there's more than one audio track.
self.wTree.get_object('mnuiAudioTrack').set_sensitive(len(self.audioTracks) > 1)
elif (old == gst.STATE_PAUSED and new == gst.STATE_PLAYING):
# The player has just started.
# Set the play/pause image to pause.
self.playPauseChange(True)
# Create the timers.
self.createPlayTimers()
elif (old == gst.STATE_PLAYING and new == gst.STATE_PAUSED):
# It's just been paused or stopped.
self.playPauseChange(False)
# Destroy the play timers.
self.destroyPlayTimers()
# Restore the screensaver (if inhibited)
useful.resumeScr()
# Update the progress bar.
self.progressUpdate()
elif (old == gst.STATE_PAUSED and new == gst.STATE_READY):
# Stop message (goes through paused when stopping).
# Draw the background image.
self.drawvideoWindowImage()
# Reset the progress bar.
self.progressUpdate()
# Clear the title.
self.setPlayingTitle(None)
