diff options
| author | Carl Hetherington <cth@carlh.net> | 2013-07-16 11:49:08 +0100 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2013-07-16 11:49:08 +0100 |
| commit | d5085584d82c021e924cec6ce00e682a8e63d800 (patch) | |
| tree | cfd1094beca5be9fd788d2ca264567e51cc729d1 /src/lib/player.h | |
| parent | 6f5d58eb442a7808e00c6431c6289e82cf333658 (diff) | |
Prevent viewer updates on timeline drag (#175).
Diffstat (limited to 'src/lib/player.h')
| -rw-r--r-- | src/lib/player.h | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/lib/player.h b/src/lib/player.h index 92a358043..2d8eca9b3 100644 --- a/src/lib/player.h +++ b/src/lib/player.h @@ -71,8 +71,10 @@ public: /** Emitted when something has changed such that if we went back and emitted * the last frame again it would look different. This is not emitted after * a seek. + * + * The parameter is true if these signals are currently likely to be frequent. */ - boost::signals2::signal<void ()> Changed; + boost::signals2::signal<void (bool)> Changed; private: friend class PlayerWrapper; @@ -82,7 +84,7 @@ private: void process_subtitle (boost::weak_ptr<Piece>, boost::shared_ptr<Image>, dcpomatic::Rect<double>, Time, Time); void setup_pieces (); void playlist_changed (); - void content_changed (boost::weak_ptr<Content>, int); + void content_changed (boost::weak_ptr<Content>, int, bool); void do_seek (Time, bool); void flush (); void emit_black (); |
