From d301bef742a4e5cf854a4117507048cdc31e70bf Mon Sep 17 00:00:00 2001 From: Paul Davis Date: Thu, 7 Mar 2019 12:01:03 -0700 Subject: [PATCH] redesign naming and reload of MIDI port information (GUI edition) --- gtk2_ardour/rc_option_editor.cc | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/gtk2_ardour/rc_option_editor.cc b/gtk2_ardour/rc_option_editor.cc index d2d99267aa..2e801bffe5 100644 --- a/gtk2_ardour/rc_option_editor.cc +++ b/gtk2_ardour/rc_option_editor.cc @@ -2017,8 +2017,7 @@ MidiPortOptions::refill_midi_ports (bool for_input, Gtk::TreeView& view) PortManager::MidiPortInformation mpi (AudioEngine::instance()->midi_port_information (*s)); - if (mpi.pretty_name.empty()) { - /* vanished since get_known_midi_ports() */ + if (!mpi.exists) { continue; } @@ -2109,7 +2108,7 @@ MidiPortOptions::pretty_name_edit (std::string const & path, string const & new_ return; } - AudioEngine::instance()->set_midi_port_pretty_name ((*iter)[midi_port_columns.name], new_text); + AudioEngine::instance()->set_port_pretty_name ((*iter)[midi_port_columns.name], new_text); } /*============*/