🔴 Red dots may be confused with "recording" symbols ⏺️

[1j01]

Right now MIDI devices that are not working properly (no port open) are shown with a red dot, rather than green (for open port).
This means I'm essentially indicating that it's not recording from a device by showing a red circle. I suspect this choice of iconography may confuse new users. I haven't done any user studies, but it seems like a bit of an incongruity.

When addressing this, I should also consider the prospective feature of ignoring specific MIDI devices, as this may influence the design. (The toggle would be on the same row as the port connection indicator.)

Could be some cool skeuomorphic designs here with plugs connecting/disconnecting. Like a MIDI patchbay, maybe — but I've never used such a thing and wouldn't want to create other weird semantic mismatches relating to ports vs channels or whatever.