diff options
author | nick_m <mainsbridge@gmail.com> | 2016-07-10 01:50:38 +1000 |
---|---|---|
committer | nick_m <mainsbridge@gmail.com> | 2016-07-10 02:18:38 +1000 |
commit | 23da9acf7ea39d34b9393e38c06a6d80202f80f8 (patch) | |
tree | bdf1a0fe8a547794ba855a2605d60fd028431205 /gtk2_ardour/editor_summary.cc | |
parent | a44c8b96aec782f192c3c2c83190d8301d4d37f4 (diff) |
Minimise duplicate calls to CairoWidget::set_dirty() in the editor summary.
- many regions may be changed by one operation.
Diffstat (limited to 'gtk2_ardour/editor_summary.cc')
-rw-r--r-- | gtk2_ardour/editor_summary.cc | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gtk2_ardour/editor_summary.cc b/gtk2_ardour/editor_summary.cc index 0ac2cdc114..a2882a201a 100644 --- a/gtk2_ardour/editor_summary.cc +++ b/gtk2_ardour/editor_summary.cc @@ -293,8 +293,10 @@ EditorSummary::render_region (RegionView* r, cairo_t* cr, double y) const void EditorSummary::set_background_dirty () { - _background_dirty = true; - set_dirty (); + if (!_background_dirty) { + _background_dirty = true; + set_dirty (); + } } /** Set the summary so that just the overlays (viewbox, playhead etc.) will be re-rendered */ |