[gnome-music/wip/mschraal/player-factor-out-gstreamer: 37/42] player: Remove unneeded case
- From: Marinus Schraal <mschraal src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-music/wip/mschraal/player-factor-out-gstreamer: 37/42] player: Remove unneeded case
- Date: Fri, 9 Feb 2018 20:55:54 +0000 (UTC)
commit ec5944720d370f45d625dd2570dcb21a6b980f55
Author: Marinus Schraal <mschraal gnome org>
Date: Fri Feb 9 19:36:27 2018 +0100
player: Remove unneeded case
gnomemusic/player.py | 27 +++++++--------------------
1 file changed, 7 insertions(+), 20 deletions(-)
---
diff --git a/gnomemusic/player.py b/gnomemusic/player.py
index ddd98ab..0505b35 100644
--- a/gnomemusic/player.py
+++ b/gnomemusic/player.py
@@ -782,26 +782,13 @@ class Player(GObject.GObject):
@log
def on_progress_scale_change_value(self, scroll):
seconds = scroll.get_value() / 60
- if True: # seconds != self.duration:
- self._player.seek(seconds)
- try:
- # FIXME mpris
- self.emit('seeked', seconds * 1000000)
- except TypeError:
- # See https://bugzilla.gnome.org/show_bug.cgi?id=733095
- pass
- else:
- print("WEIRD SCROLL VALUE?", seconds)
- duration = self._player.duration
- if duration:
- # Rewind a second back before the track end
- self._player.seek(duration - 1)
- try:
- # FIXME mpris
- self.emit('seeked', (duration - 1) / 1000)
- except TypeError:
- # See https://bugzilla.gnome.org/show_bug.cgi?id=733095
- pass
+ self._player.seek(seconds)
+ try:
+ # FIXME mpris
+ self.emit('seeked', seconds * 1000000)
+ except TypeError:
+ # See https://bugzilla.gnome.org/show_bug.cgi?id=733095
+ pass
return True
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]