[gnome-music/wip/mschraal/gapless-v3: 3/4] playertoolbar: Reset progress time on update

[Marinus Schraal <mschraal src gnome org>]

commit 1bc10542a6ce7f930fe4cd42a3dbc4109a282197
Author: Marinus Schraal <mschraal gnome org>
Date:   Sat May 4 16:41:00 2019 +0200

    playertoolbar: Reset progress time on update
    
    There is ever so slightly a delay between updating of the total duration
    label and the progress time label, because they are triggered by different
    signals.
    
    Hard reset the progress time label to zero when updating the PlayerToolbar.

 gnomemusic/widgets/playertoolbar.py | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/gnomemusic/widgets/playertoolbar.py b/gnomemusic/widgets/playertoolbar.py
index 3c38f051..f47e65bc 100644
--- a/gnomemusic/widgets/playertoolbar.py
+++ b/gnomemusic/widgets/playertoolbar.py
@@ -162,6 +162,7 @@ class PlayerToolbar(Gtk.ActionBar):
         current_song = player.props.current_song
         self._duration_label.set_label(
             utils.seconds_to_string(current_song.get_duration()))
+        self._progress_time_label.props.label = "0:00"
 
         self._play_button.set_sensitive(True)
         self._sync_prev_next()