[gnome-music/wip/mschraal/player-factor-out-gstreamer] player: Use position instead of played_seconds
- From: Marinus Schraal <mschraal src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-music/wip/mschraal/player-factor-out-gstreamer] player: Use position instead of played_seconds
- Date: Sun, 18 Feb 2018 15:54:18 +0000 (UTC)
commit e10458e07bd8f316a5fb3003f09e6ee43b5a2383
Author: Marinus Schraal <mschraal gnome org>
Date: Sun Feb 18 16:14:08 2018 +0100
player: Use position instead of played_seconds
and < 5 in line with other prev seek
gnomemusic/player.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/gnomemusic/player.py b/gnomemusic/player.py
index dfb22f6..23f7f11 100644
--- a/gnomemusic/player.py
+++ b/gnomemusic/player.py
@@ -269,7 +269,7 @@ class Player(GObject.GObject):
previous_track = self.playlist.iter_previous(iter_)
elif self.repeat == RepeatType.SHUFFLE:
if iter_:
- if (self.played_seconds < 10
+ if (self._player.position < 5
and len(self._shuffle_history) > 0):
previous_track = self._shuffle_history.pop()
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]