[gnome-music/wip/merge: 193/343] player: don't set play button image when its not needed

[Ignacio Casal Quinteiro <icq src gnome org>]

commit e8e0f3becbe057d217ce0d267cd4a924a49e2a2c
Author: Vadim Rutkovsky <vrutkovs redhat com>
Date:   Tue Jul 16 18:34:30 2013 +0200

    player: don't set play button image when its not needed

 gnomemusic/player.py |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/gnomemusic/player.py b/gnomemusic/player.py
index e2d1110..f20d230 100644
--- a/gnomemusic/player.py
+++ b/gnomemusic/player.py
@@ -217,7 +217,8 @@ class Player(GObject.GObject):
 
     def _syncPlaying(self):
         image = self._playImage if self.playing is True else self._pauseImage
-        self.playBtn.set_image(image)
+        if self.playBtn.get_image() != image:
+            self.playBtn.set_image(image)
 
     def _syncPrevNext(self):
         hasNext = self._hasNext()