diff options
| author | Paul Davis <paul@linuxaudiosystems.com> | 2014-06-30 19:05:45 -0400 |
|---|---|---|
| committer | Paul Davis <paul@linuxaudiosystems.com> | 2014-06-30 19:18:34 -0400 |
| commit | dff73d34d927ceca93524345d4aaa9d7567b1e08 (patch) | |
| tree | aec6aac62412b94618b0eb01aa1cf50023161964 /gtk2_ardour/rc_option_editor.cc | |
| parent | d790881a8405f74fe63ddd5a4234c065c189d577 (diff) | |
move draggable playhead to editor tab of preferences
Diffstat (limited to 'gtk2_ardour/rc_option_editor.cc')
| -rw-r--r-- | gtk2_ardour/rc_option_editor.cc | 16 |
1 files 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", @@ -2142,14 +2150,6 @@ RCOptionEditor::RCOptionEditor () 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", _("Graphically indicate mouse pointer hovering over various widgets"), sigc::mem_fun (*_rc_config, &RCConfiguration::get_widget_prelight), |