diff options
author | Robin Gareus <robin@gareus.org> | 2018-08-04 23:29:27 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2018-08-04 23:29:27 +0200 |
commit | c00378e19800fcbf6f37a78c4d9ee5fd29850409 (patch) | |
tree | 5134028a9e453089430108b709669df0a221d197 | |
parent | c74f02025d504181615aaaa507623c1c0d77aa1d (diff) |
Fix preference ID for MIDI-input
-rw-r--r-- | gtk2_ardour/rc_option_editor.cc | 2 |
1 files changed, 1 insertions, 1 deletions
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) |