From dff73d34d927ceca93524345d4aaa9d7567b1e08 Mon Sep 17 00:00:00 2001 From: Paul Davis Date: Mon, 30 Jun 2014 19:05:45 -0400 Subject: [PATCH] move draggable playhead to editor tab of preferences --- gtk2_ardour/rc_option_editor.cc | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/gtk2_ardour/rc_option_editor.cc b/gtk2_ardour/rc_option_editor.cc index c843276683..240b094474 100644 --- a/gtk2_ardour/rc_option_editor.cc +++ b/gtk2_ardour/rc_option_editor.cc @@ -1540,6 +1540,14 @@ RCOptionEditor::RCOptionEditor () /* EDITOR */ + add_option (S_("Editor"), + new BoolOption ( + "draggable-playhead", + _("Allow dragging of playhead"), + sigc::mem_fun (*ARDOUR_UI::config(), &UIConfiguration::get_draggable_playhead), + sigc::mem_fun (*ARDOUR_UI::config(), &UIConfiguration::set_draggable_playhead) + )); + add_option (_("Editor"), new BoolOption ( "link-region-and-track-selection", @@ -2140,14 +2148,6 @@ RCOptionEditor::RCOptionEditor () /* INTERFACE */ - add_option (S_("Preferences|GUI"), - new BoolOption ( - "draggable-playhead", - _("Allow dragging of playhead"), - sigc::mem_fun (*ARDOUR_UI::config(), &UIConfiguration::get_draggable_playhead), - sigc::mem_fun (*ARDOUR_UI::config(), &UIConfiguration::set_draggable_playhead) - )); - add_option (S_("Preferences|GUI"), new BoolOption ( "widget-prelight",