From 49765f8897784d83564c8301ed1ffe82d6bdab92 Mon Sep 17 00:00:00 2001 From: Ben Loftis Date: Sat, 26 Aug 2017 22:19:04 -0500 Subject: Editor zooming: Add config setting for playhead-scroll-speed. Default to 100% for now, but for new users we might later default it to something slower. If you want to scroll quickly, it is preferred to zoom out first, then scroll. --- gtk2_ardour/rc_option_editor.cc | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'gtk2_ardour/rc_option_editor.cc') diff --git a/gtk2_ardour/rc_option_editor.cc b/gtk2_ardour/rc_option_editor.cc index 91ceba039e..ea7db58809 100644 --- a/gtk2_ardour/rc_option_editor.cc +++ b/gtk2_ardour/rc_option_editor.cc @@ -2332,6 +2332,19 @@ RCOptionEditor::RCOptionEditor () sigc::mem_fun (UIConfiguration::instance(), &UIConfiguration::set_draggable_playhead) )); + ComboOption* dps = new ComboOption ( + "draggable-playhead-speed", + _("Playhead dragging speed (%)"), + sigc::mem_fun (UIConfiguration::instance(), &UIConfiguration::get_draggable_playhead_speed), + sigc::mem_fun (UIConfiguration::instance(), &UIConfiguration::set_draggable_playhead_speed) + ); + dps->add (0.05, _("5%")); + dps->add (0.1, _("10%")); + dps->add (0.25, _("25%")); + dps->add (0.5, _("50%")); + dps->add (1.0, _("100%")); + add_option (_("Editor"), dps); + if (!Profile->get_mixbus()) { add_option (_("Editor"), -- cgit v1.2.3