From c00378e19800fcbf6f37a78c4d9ee5fd29850409 Mon Sep 17 00:00:00 2001 From: Robin Gareus Date: Sat, 4 Aug 2018 23:29:27 +0200 Subject: Fix preference ID for MIDI-input --- gtk2_ardour/rc_option_editor.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (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 2e68a44dd8..e086363a23 100644 --- a/gtk2_ardour/rc_option_editor.cc +++ b/gtk2_ardour/rc_option_editor.cc @@ -3407,7 +3407,7 @@ RCOptionEditor::RCOptionEditor () add_option (_("MIDI Ports"), new BoolOption ( - "get-midi-input-follows-selection", + "midi-input-follows-selection", _("MIDI input follows MIDI track selection"), sigc::mem_fun (*_rc_config, &RCConfiguration::get_midi_input_follows_selection), sigc::mem_fun (*_rc_config, &RCConfiguration::set_midi_input_follows_selection) -- cgit v1.2.3