- case AUDIO: return "audio";
- case MIDI: return "midi";
- default: return "unknown"; // reeeally shouldn't ever happen
- }
- }
-
- const char* to_i18n_string() const {
- switch (_symbol) {
- case AUDIO: return _("audio");
- case MIDI: return _("MIDI");
- default: return _("unknown");
+ case AUDIO: return "audio";
+ case MIDI: return "midi";
+ default: return "unknown"; // reeeally shouldn't ever happen