From 7c07c87088d51459de8fb4eee843a19cfe79e1fe Mon Sep 17 00:00:00 2001 From: Paul Davis Date: Sun, 5 Feb 2023 12:25:01 -0700 Subject: [PATCH] add MIDI max note height to preferences GUI --- gtk2_ardour/rc_option_editor.cc | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/gtk2_ardour/rc_option_editor.cc b/gtk2_ardour/rc_option_editor.cc index 1a778a3cf4..67d7a84af8 100644 --- a/gtk2_ardour/rc_option_editor.cc +++ b/gtk2_ardour/rc_option_editor.cc @@ -3472,8 +3472,13 @@ These settings will only take effect after %1 is restarted.\n\ sigc::mem_fun (*this, &RCOptionEditor::set_default_upper_midi_note)); mru_option->set_valid_chars (legal_midi_name_chars); + SpinOption* mnh_option = new SpinOption ("max-note-height", _("Maximum note height"), + sigc::mem_fun (UIConfiguration::instance(), &UIConfiguration::get_max_note_height), + sigc::mem_fun (UIConfiguration::instance(), &UIConfiguration::set_max_note_height), + 10, 40, 1, 5); add_option (_("MIDI"), mrl_option); add_option (_("MIDI"), mru_option); + add_option (_("MIDI"), mnh_option); /* MIDI PORTs */ add_option (_("MIDI"), new OptionEditorHeading (_("MIDI Port Options")));