diff options
| author | Carl Hetherington <cth@carlh.net> | 2020-04-15 00:50:11 +0200 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2020-04-15 00:50:11 +0200 |
| commit | 3d435ad1455306fc4db9d03154e3e2dcd4ed08b8 (patch) | |
| tree | 017d6fa12c2b4a4661de9a2aeda24c8f2239f694 /src | |
| parent | 5892c334c69b32901dab3c47124dfc7e72858f59 (diff) | |
Fix glitchy timeline slider if its update timer goes off while a seek is happening.
Diffstat (limited to 'src')
| -rw-r--r-- | src/wx/controls.cc | 2 | ||||
| -rw-r--r-- | src/wx/film_viewer.h | 4 |
2 files changed, 5 insertions, 1 deletions
diff --git a/src/wx/controls.cc b/src/wx/controls.cc index 92103637c..ec6d4ff4c 100644 --- a/src/wx/controls.cc +++ b/src/wx/controls.cc @@ -170,7 +170,7 @@ Controls::stopped () void Controls::update_position () { - if (!_slider_being_moved) { + if (!_slider_being_moved && !_viewer->pending_idle_get()) { update_position_label (); update_position_slider (); } diff --git a/src/wx/film_viewer.h b/src/wx/film_viewer.h index c54ff6eb4..f7c31468b 100644 --- a/src/wx/film_viewer.h +++ b/src/wx/film_viewer.h @@ -134,6 +134,10 @@ public: } void finished (); + bool pending_idle_get () const { + return _idle_get; + } + boost::signals2::signal<void (boost::weak_ptr<PlayerVideo>)> ImageChanged; boost::signals2::signal<void (dcpomatic::DCPTime)> Started; boost::signals2::signal<void (dcpomatic::DCPTime)> Stopped; |
