diff options
| author | Ben Loftis <ben@harrisonconsoles.com> | 2017-08-26 21:56:42 -0500 |
|---|---|---|
| committer | Ben Loftis <ben@harrisonconsoles.com> | 2017-08-26 22:44:58 -0500 |
| commit | 71d9ea7270af1b46b39c90ded0356c406140c1f3 (patch) | |
| tree | 63373425a0f4153aa0cb5c6863ddefe15573b590 /gtk2_ardour/editor_summary.h | |
| parent | 901432f030f3120d420f3ea245a8c0b2ef0353f5 (diff) | |
Editor zooming: Tweak the Summary to stop at right edge, use session_gui_extents().
Diffstat (limited to 'gtk2_ardour/editor_summary.h')
| -rw-r--r-- | gtk2_ardour/editor_summary.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gtk2_ardour/editor_summary.h b/gtk2_ardour/editor_summary.h index 27ee8ed23e..3b75909ad1 100644 --- a/gtk2_ardour/editor_summary.h +++ b/gtk2_ardour/editor_summary.h @@ -81,7 +81,7 @@ private: bool suspending_editor_updates () const; double playhead_frame_to_position (framepos_t) const; framepos_t position_to_playhead_frame_to_position (double pos) const; - void set_overlays_dirty (int, int, int, int); + void set_overlays_dirty_rect (int, int, int, int); void summary_zoom_step ( int steps ); |