[gnome-music/wip/mschraal/player-factor-out-gstreamer] player: Dedupe play/pause functionality
- From: Marinus Schraal <mschraal src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-music/wip/mschraal/player-factor-out-gstreamer] player: Dedupe play/pause functionality
- Date: Sun, 18 Feb 2018 15:54:38 +0000 (UTC)
commit b24b32dc3c90abdfd4edd8f0a676768c87e3e4fd
Author: Marinus Schraal <mschraal gnome org>
Date: Sun Feb 18 16:41:31 2018 +0100
player: Dedupe play/pause functionality
gnomemusic/player.py | 5 +----
1 file changed, 1 insertion(+), 4 deletions(-)
---
diff --git a/gnomemusic/player.py b/gnomemusic/player.py
index 2f79e9e..5c5f414 100644
--- a/gnomemusic/player.py
+++ b/gnomemusic/player.py
@@ -536,10 +536,7 @@ class Player(GObject.GObject):
@log
def play_pause(self):
- if self._player.state == Playback.PLAYING:
- self.set_playing(False)
- else:
- self.set_playing(True)
+ self._sync_playing()
# FIXME: set the discovery field to 11 to be safe, but for some
# models it is 12.
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]