diff options
author | Robin Gareus <robin@gareus.org> | 2012-11-14 05:01:25 +0000 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2012-11-14 05:01:25 +0000 |
commit | cbeabee87088cc7c8e3c2e26a911c0e6a2ab1422 (patch) | |
tree | 91b97274b6fbf93a579a5ee62f9f3288d5c25fae /gtk2_ardour/editor_summary.cc | |
parent | cdb8796f5f72e3a2f902fc09e3f118ca686c13e4 (diff) |
fix #5025 part 1
cairo line may be rounded +-1 px, also invalidating area x<0 is a noop.
git-svn-id: svn://localhost/ardour2/branches/3.0@13493 d708f5d6-7413-0410-9779-e7cbd77b26cf
Diffstat (limited to 'gtk2_ardour/editor_summary.cc')
-rw-r--r-- | gtk2_ardour/editor_summary.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gtk2_ardour/editor_summary.cc b/gtk2_ardour/editor_summary.cc index 7ce74f414b..0cf58cf8ae 100644 --- a/gtk2_ardour/editor_summary.cc +++ b/gtk2_ardour/editor_summary.cc @@ -906,9 +906,9 @@ EditorSummary::playhead_position_changed (framepos_t p) int const o = int (_last_playhead); int const n = int (playhead_frame_to_position (p)); if (_session && o != n) { - int a = min (o, n); + int a = max(2, min (o, n)); int b = max (o, n); - set_overlays_dirty (a - 1, 0, b + 1, get_height ()); + set_overlays_dirty (a - 2, 0, b + 2, get_height ()); } } |