torbenh's buffer manager fixes from 3.0P

[ardour.git] / gtk2_ardour / editor_tempodisplay.cc

diff --git a/gtk2_ardour/editor_tempodisplay.cc b/gtk2_ardour/editor_tempodisplay.cc
index 438f18b91e6c5264b4d453cb77d5a0b8c2308900..fd598b8c817d739f8bd6e4a65c596fac08bca4b1 100644 (file)
--- a/gtk2_ardour/editor_tempodisplay.cc
+++ b/gtk2_ardour/editor_tempodisplay.cc
@@ -93,16 +93,17 @@ Editor::draw_metric_marks (const Metrics& metrics)
 }
 
 void
-Editor::tempo_map_changed (Change ignored)
+Editor::tempo_map_changed (const PropertyChange& ignored)
 {
        if (!_session) {
                return;
        }
 
-       ENSURE_GUI_THREAD (*this, &Editor::tempo_map_changed, ignored)
+       ENSURE_GUI_THREAD (*this, &Editor::tempo_map_changed, ignored);
 
-       if (tempo_lines)
+       if (tempo_lines) {
                tempo_lines->tempo_map_changed();
+       }
 
        compute_current_bbt_points(leftmost_frame, leftmost_frame + current_page_frames());
        _session->tempo_map().apply_with_metrics (*this, &Editor::draw_metric_marks); // redraw metric markers