From a596b62a5f352473d12f38c7732b9000a984389f Mon Sep 17 00:00:00 2001 From: Jordan Petridis Date: Sat, 16 Jun 2018 15:59:22 +0300 Subject: [PATCH] PlayerWidget: Tweak gst_player config. --- hammond-gtk/src/widgets/player.rs | 1 - 1 file changed, 1 deletion(-) diff --git a/hammond-gtk/src/widgets/player.rs b/hammond-gtk/src/widgets/player.rs index 326908b..980cf32 100644 --- a/hammond-gtk/src/widgets/player.rs +++ b/hammond-gtk/src/widgets/player.rs @@ -162,7 +162,6 @@ impl Default for PlayerWidget { let mut config = player.get_config(); config.set_user_agent(USER_AGENT); config.set_position_update_interval(250); - config.set_seek_accurate(true); player.set_config(config).unwrap(); let builder = gtk::Builder::new_from_resource("/org/gnome/Hammond/gtk/player_toolbar.ui");