diff options
| author | Robin Gareus <robin@gareus.org> | 2016-12-20 12:28:54 +0100 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2016-12-20 12:34:40 +0100 |
| commit | 1a500bc00b526972f319621ff5b846b1e6df9b2d (patch) | |
| tree | 0fa6bd0291083c396b3d2c78b05ade10c7d291e9 /gtk2_ardour/mini_timeline.cc | |
| parent | 1e2bdeb0144df4dd724d018036d78482f3f45386 (diff) | |
Don't redraw hidden toolbar elements
Diffstat (limited to 'gtk2_ardour/mini_timeline.cc')
| -rw-r--r-- | gtk2_ardour/mini_timeline.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gtk2_ardour/mini_timeline.cc b/gtk2_ardour/mini_timeline.cc index e26dc9704d..a49999862e 100644 --- a/gtk2_ardour/mini_timeline.cc +++ b/gtk2_ardour/mini_timeline.cc @@ -196,7 +196,7 @@ MiniTimeline::set_span (framecnt_t ts) void MiniTimeline::super_rapid_update () { - if (!_session || !_session->engine().running()) { + if (!_session || !_session->engine().running() || !is_mapped ()) { return; } framepos_t const frame = PublicEditor::instance().playhead_cursor_sample (); |