[gnome-music/wip/mschraal/player-factor-out-gstreamer] player: Dedupe play/pause functionality

[Marinus Schraal <mschraal src gnome org>]

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.