From 37a9ef0501143f086370c1c35ed915c3dd9b7fa6 Mon Sep 17 00:00:00 2001 From: Robin Gareus Date: Thu, 12 Mar 2015 15:56:26 +0100 Subject: [PATCH] indicate MIDI port names (vs audio system ports) --- gtk2_ardour/mixer_strip.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gtk2_ardour/mixer_strip.cc b/gtk2_ardour/mixer_strip.cc index cffb1fde1a..037a5d33f6 100644 --- a/gtk2_ardour/mixer_strip.cc +++ b/gtk2_ardour/mixer_strip.cc @@ -1237,10 +1237,10 @@ MixerStrip::update_io_button (boost::shared_ptr route, Width widt } else if (connection_name.find("system:midi_") == 0) { if (for_input) { // "system:midi_capture_123" -> "123" - system_port = connection_name.substr(20); + system_port = "M " + connection_name.substr(20); } else { // "system:midi_playback_123" -> "123" - system_port = connection_name.substr(21); + system_port = "M " + connection_name.substr(21); } if (system_ports.empty()) {