Fix preference ID for MIDI-input

diff --git a/gtk2_ardour/rc_option_editor.cc b/gtk2_ardour/rc_option_editor.cc
index 2e68a44dd8bb49236eeadf626eeda808ef92c285..e086363a237812d84ba055d5e0848db2ab11c9f0 100644 (file)
--- 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)