diff options
| author | Paul Davis <paul@linuxaudiosystems.com> | 2020-03-26 07:50:25 -0600 |
|---|---|---|
| committer | Paul Davis <paul@linuxaudiosystems.com> | 2020-03-26 07:50:32 -0600 |
| commit | 8a65c1fce228d0267458a399d3574b1023234454 (patch) | |
| tree | 6dcadc57db51e90ded8635b76bff311549d393f5 /gtk2_ardour/rc_option_editor.cc | |
| parent | 4dd3d4effe6c76e97d2e0a915257570999b14574 (diff) | |
remove visibility of "draggable playhead" option
Diffstat (limited to 'gtk2_ardour/rc_option_editor.cc')
| -rw-r--r-- | gtk2_ardour/rc_option_editor.cc | 8 |
1 files changed, 0 insertions, 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<float>* dps = new ComboOption<float> ( "draggable-playhead-speed", _("Auto-scroll speed when dragging playhead (%)"), |