Feature request: Allow reordering of MIDI devices

[afentoe]

Currently the list of MIDI devices is sorted alphabetically.

It would be nice if you would be able to reorder the device list. This way you could display devices which are most interesting first, but keep the other devices visible.

Perhaps by click+holding the titlebar and then dragging. Or by reordering the list in the sidebar.
You would also need an extra button to remove the custom order. Perhaps put that somewhere in the sidebar.

Some ideas to implement this:
I know this might get difficult when other MIDI devices are added or removed: where to display them in the list.
So perhaps that could be solved by maintaining a list of devices with custom positions, and sort the rest alphabetically.
So if you drag a device to position 3, all devices in positions 1-3 would get a fixed position. The rest is sorted alphabetically.

[afentoe]

I have been thinking about this a bit more.
Perhaps an easier way to implement this, is to show the devices in the order they are made visible.
So if you disable all devices, you can make them visible again in the order you want.