new functionality to add MIDI ports from the options editor, not totally finished...