[gnome-music/wip/mschraal/player-factor-out-gstreamer] player: Remove unused duplicate object



commit 752b42af1e3d55fd2be4ad9f169c3e218b483ae0
Author: Marinus Schraal <mschraal gnome org>
Date:   Sun Feb 18 16:37:14 2018 +0100

    player: Remove unused duplicate object
    
    _total_time_label is the same thing.

 gnomemusic/player.py | 1 -
 1 file changed, 1 deletion(-)
---
diff --git a/gnomemusic/player.py b/gnomemusic/player.py
index d040897..2f79e9e 100644
--- a/gnomemusic/player.py
+++ b/gnomemusic/player.py
@@ -609,7 +609,6 @@ class Player(GObject.GObject):
         self._cover_stack = CoverStack(stack, Art.Size.XSMALL)
         self._cover_stack.connect('updated', self._on_cover_stack_updated)
 
-        self.duration = self._ui.get_object('duration')
         self._repeat_button_image = self._ui.get_object('playlistRepeat')
 
         self._sync_repeat_image()


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]