MidiPortSelector and rotating device

[audetto]

When the spinner associated to the MidiPortSelector is recreated after a screen rotation, it might not select the same Midi device as before the selection.

This happens if a device is added, as it will go to the end of the list, not its natural position when the Port selector queries devices after the rotation.