void user_settings::bus_alias (int /*index*/, const std::string & /*alias*/) { user_midi_bus & mb = private_bus(index); if (! alias.empty()) mb.set_name(alias); }
void user_settings::set_bus_instrument (int index, int channel, int instrum) { user_midi_bus & mb = private_bus(index); mb.set_instrument(channel, instrum); }
const user_midi_bus & bus (int index) // const { return private_bus(index); }