From 2f4838db68ddc4661fa13fe000379a13f9a99342 Mon Sep 17 00:00:00 2001 From: Ben Loftis Date: Sun, 1 Oct 2023 13:59:30 -0500 Subject: [PATCH] if user changes session:property:time-domain, switch the rulers * if the user has explicitly made any ruler settings, they will be found and this will not take effect --- gtk2_ardour/editor_actions.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/gtk2_ardour/editor_actions.cc b/gtk2_ardour/editor_actions.cc index 7f5097d5f1..9d0f44189d 100644 --- a/gtk2_ardour/editor_actions.cc +++ b/gtk2_ardour/editor_actions.cc @@ -1812,6 +1812,7 @@ Editor::parameter_changed (std::string p) queue_redisplay_track_views (); } else if (p == "default-time-domain") { stretch_marker_cb.set_sensitive (_session->config.get_default_time_domain () == Temporal::BeatTime); + restore_ruler_visibility(); /* NOTE: if user has explicitly set rulers then this will have no effect */ } }