diff options
author | Robin Gareus <robin@gareus.org> | 2015-04-08 12:31:44 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2015-04-08 12:31:44 +0200 |
commit | 85e701880b125fc866a88236bf5bf971eaebf91b (patch) | |
tree | 1d445a9fafb505895b3bf6879df2696f236d3245 | |
parent | 70a493d51008e6f4a85965e6931417e8204b9620 (diff) |
redraw playhead only if pixel position changed.4.0-rc3
-rw-r--r-- | gtk2_ardour/editor_cursors.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gtk2_ardour/editor_cursors.cc b/gtk2_ardour/editor_cursors.cc index ee8253fed8..7cd897604c 100644 --- a/gtk2_ardour/editor_cursors.cc +++ b/gtk2_ardour/editor_cursors.cc @@ -77,11 +77,11 @@ EditorCursor::~EditorCursor () void EditorCursor::set_position (framepos_t frame) { - PositionChanged (frame); + if (_current_frame != frame) { PositionChanged (frame); } double const new_pos = _editor.sample_to_pixel_unrounded (frame); - if (new_pos != _track_canvas_item->x ()) { + if (rint(new_pos) != rint(_track_canvas_item->x ())) { _track_canvas_item->set_x (new_pos); } |