toxblh/podcasts
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

PlayerWidget: Tweak gst_player config.

Browse Source
This commit is contained in:
Jordan Petridis 2018-06-16 15:59:22 +03:00
parent 1caec7955b
commit c8b6fa611f
No known key found for this signature in database
GPG Key ID: CEABAD9F5683B9A6
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
hammond-gtk/src/widgets/player.rs
View File

@ -162,7 +162,6 @@ impl Default for PlayerWidget {
let mut config = player.get_config(); let mut config = player.get_config();
config.set_user_agent(USER_AGENT); config.set_user_agent(USER_AGENT);
config.set_position_update_interval(250); config.set_position_update_interval(250);
config.set_seek_accurate(true);
player.set_config(config).unwrap(); player.set_config(config).unwrap();
let builder = gtk::Builder::new_from_resource("/org/gnome/Hammond/gtk/player_toolbar.ui"); let builder = gtk::Builder::new_from_resource("/org/gnome/Hammond/gtk/player_toolbar.ui");