From 0686fca3b06bb1cd688c5d65fd873338f2ef6a04 Mon Sep 17 00:00:00 2001 From: Jordan Petridis Date: Thu, 21 Jun 2018 18:48:46 +0300 Subject: [PATCH] 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. --- hammond-gtk/src/app.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hammond-gtk/src/app.rs b/hammond-gtk/src/app.rs index 884f400..a2317f9 100644 --- a/hammond-gtk/src/app.rs +++ b/hammond-gtk/src/app.rs @@ -138,7 +138,7 @@ impl App { window.show_all(); 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 match receiver.try_recv() { Ok(Action::RefreshAllViews) => content.update(),