PlayerWidget::seek handle the case where the offset might be none.

2018-06-15 17:34:05 +03:00 · 2018-06-15 17:34:05 +03:00 · 74460d938e
commit 74460d938e
parent fff6f959de
1 changed files with 1 additions and 1 deletions
--- a/hammond-gtk/src/widgets/player.rs
+++ b/hammond-gtk/src/widgets/player.rs
@ -321,7 +321,7 @@ impl PlayerExt for PlayerWidget {
    // Adapted from https://github.com/philn/glide/blob/b52a65d99daeab0b487f79a0e1ccfad0cd433e22/src/player_context.rs#L219-L245
    fn seek(&self, offset: ClockTime, direction: SeekDirection) {
        let position = self.player.get_position();
-        if position == ClockTime::none() {
+        if position.is_none() || offset.is_none() {
            return;
        }