From 8a65c1fce228d0267458a399d3574b1023234454 Mon Sep 17 00:00:00 2001 From: Paul Davis Date: Thu, 26 Mar 2020 07:50:25 -0600 Subject: [PATCH] remove visibility of "draggable playhead" option --- gtk2_ardour/rc_option_editor.cc | 8 -------- 1 file changed, 8 deletions(-) diff --git a/gtk2_ardour/rc_option_editor.cc b/gtk2_ardour/rc_option_editor.cc index 469e9fd0a3..91aae4f75b 100644 --- a/gtk2_ardour/rc_option_editor.cc +++ b/gtk2_ardour/rc_option_editor.cc @@ -2309,14 +2309,6 @@ RCOptionEditor::RCOptionEditor () Gtkmm2ext::UI::instance()->set_tip (bo->tip_widget(), _("If enabled, popup a dialog when a new marker is created to allow its name to be set as it is created." "\n\nYou can always rename markers by right-clicking on them")); - add_option (_("Editor"), - new BoolOption ( - "draggable-playhead", - _("Enable playhead dragging"), - sigc::mem_fun (UIConfiguration::instance(), &UIConfiguration::get_draggable_playhead), - sigc::mem_fun (UIConfiguration::instance(), &UIConfiguration::set_draggable_playhead) - )); - ComboOption* dps = new ComboOption ( "draggable-playhead-speed", _("Auto-scroll speed when dragging playhead (%)"),