From dd08d124753fc2bd4e6cf7faf92a80e1e6f8d0f3 Mon Sep 17 00:00:00 2001 From: Ben Loftis Date: Mon, 1 May 2023 07:59:04 -0500 Subject: [PATCH] desensitize playhead by default, and make a new config variable 'sensitize-playhead' Historically, it was possible to grab the 1-pix-wide red line, and drag the playhead In rare but annoying cases, the red playhead interferes with mouse clicks, because it is on top De-sensitize the playhead by default, and provide a new config var for those who want the old operation --- gtk2_ardour/default_ui_config.in | 2 +- gtk2_ardour/editor.cc | 6 +++--- gtk2_ardour/ui_config_vars.h | 2 +- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/gtk2_ardour/default_ui_config.in b/gtk2_ardour/default_ui_config.in index 9c815d6331..4fe9623b10 100644 --- a/gtk2_ardour/default_ui_config.in +++ b/gtk2_ardour/default_ui_config.in @@ -13,7 +13,7 @@