[gnome-music] player: Set width/height property for cover image

[Marinus Schraal <mschraal src gnome org>]

commit 46dbcbef71f41a2591a2302a65534451f65020ff
Author: Marinus Schraal <mschraal src gnome org>
Date:   Thu Oct 27 14:02:53 2016 +0200

    player: Set width/height property for cover image
    
    Set the width/height properties so off-sized coverart doesn't trigger a
    minor shift in the label position.

 gnomemusic/player.py |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/gnomemusic/player.py b/gnomemusic/player.py
index 18a3946..72cf133 100644
--- a/gnomemusic/player.py
+++ b/gnomemusic/player.py
@@ -807,6 +807,9 @@ class Player(GObject.GObject):
         self.titleLabel = self._ui.get_object('title')
         self.artistLabel = self._ui.get_object('artist')
         self.coverImg = self._ui.get_object('cover')
+        self.coverImg.set_property("width-request", ArtSize.xsmall.width)
+        self.coverImg.set_property("height-request", ArtSize.xsmall.height)
+
         self.duration = self._ui.get_object('duration')
         self.repeatBtnImage = self._ui.get_object('playlistRepeat')