[gnome-music] Don't reload the media after the song was paused
- From: Vadim Rutkovsky <vrutkovsky src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-music] Don't reload the media after the song was paused
- Date: Wed, 19 Feb 2014 15:08:37 +0000 (UTC)
commit 1d938019ae688aabfa1be928ffe0e9cb3199184d
Author: Vadim Rutkovsky <vrutkovs redhat com>
Date: Wed Feb 19 16:03:38 2014 +0100
Don't reload the media after the song was paused
Fixes https://bugzilla.gnome.org/show_bug.cgi?id=707744
gnomemusic/player.py | 8 ++++----
1 files changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/gnomemusic/player.py b/gnomemusic/player.py
index ddb07b9..1e6dd13 100644
--- a/gnomemusic/player.py
+++ b/gnomemusic/player.py
@@ -375,11 +375,11 @@ class Player(GObject.GObject):
if self.player.get_state(1)[1] != Gst.State.PAUSED:
self.stop()
- media = self.get_current_media()
- if not media:
- return
+ media = self.get_current_media()
+ if not media:
+ return
- self.load(media)
+ self.load(media)
self.player.set_state(Gst.State.PLAYING)
self._update_position_callback()
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]