MIDI Editor: Filter . in dropdowns

The dotted entries in the drop-down lists are a bit difficult to spot quickly. There is plenty of room, so please change the . to 'dotted'.

MIDI Editor: Filter . in dropdowns