h-gtk: Increase the polling rate of the main thread channel.

When dragging the PlayerWidget.timer.slider widget PlayerDurationChanged
messaged pile up in the channel and get out of sync with the
slider.connect_value_changed() signal.
This commit is contained in:
Jordan Petridis 2018-06-21 18:48:46 +03:00
parent 79b425326b
commit 0686fca3b0

View File

@ -138,7 +138,7 @@ impl App {
window.show_all(); window.show_all();
window.activate(); window.activate();
gtk::timeout_add(50, clone!(sender, receiver => move || { gtk::timeout_add(15, clone!(sender, receiver => move || {
// Uses receiver, content, header, sender, overlay, playback // Uses receiver, content, header, sender, overlay, playback
match receiver.try_recv() { match receiver.try_recv() {
Ok(Action::RefreshAllViews) => content.update(), Ok(Action::RefreshAllViews) => content.update(),