Update selection-clock when region properties change

diff --git a/gtk2_ardour/time_info_box.cc b/gtk2_ardour/time_info_box.cc
index fd573ad4b764141bca2ce9dbc547d0df06e29b85..b60d9c1594da58ca077ca9e68bec61fa1386aeed 100644 (file)
--- a/gtk2_ardour/time_info_box.cc
+++ b/gtk2_ardour/time_info_box.cc
@@ -159,7 +159,7 @@ TimeInfoBox::track_mouse_mode ()
 }
 
 void
-TimeInfoBox::region_property_change (boost::shared_ptr<ARDOUR::Region> /* r */, const PBD::PropertyChange& what_changed)
+TimeInfoBox::region_property_change (boost::shared_ptr<ARDOUR::Region> r, const PBD::PropertyChange& what_changed)
 {
        Selection& selection (Editor::instance().get_selection());
 
@@ -177,12 +177,9 @@ TimeInfoBox::region_property_change (boost::shared_ptr<ARDOUR::Region> /* r */,
                return;
        }
 
-       /* TODO: check if RegionSelection includes the given region.
-        * This is not straight foward because RegionSelection is done by
-        * RegionView (not Region itself).
-        */
-
-       //selection_changed ();
+       if (selection.regions.contains (r)) {
+               selection_changed ();
+       }
 }
 
 bool