diff options
author | Paul Davis <paul@linuxaudiosystems.com> | 2019-03-08 12:10:32 -0700 |
---|---|---|
committer | Paul Davis <paul@linuxaudiosystems.com> | 2019-03-08 12:10:32 -0700 |
commit | b1504f261efe4ccdd47860dce4f2faf787f306ba (patch) | |
tree | d1a77fb59d7c8b24268fb9ad7db558cfa87d1e8a /gtk2_ardour/rc_option_editor.cc | |
parent | dd8b0516369017a500144b4eb196415d9e7cfcd0 (diff) |
drop silly canonical name stuff from MIDI port info, and just store backend name (GUI version)
Diffstat (limited to 'gtk2_ardour/rc_option_editor.cc')
-rw-r--r-- | gtk2_ardour/rc_option_editor.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gtk2_ardour/rc_option_editor.cc b/gtk2_ardour/rc_option_editor.cc index 31a9951d7d..6ba4db8b65 100644 --- a/gtk2_ardour/rc_option_editor.cc +++ b/gtk2_ardour/rc_option_editor.cc @@ -1878,6 +1878,8 @@ class MidiPortOptions : public OptionEditorMiniPage, public sigc::trackable void refill () { + std::cerr << "REFILL MIDI PORTS\n"; + if (refill_midi_ports (true, midi_input_view)) { input_label.show (); } else { |