"MIDI Input" icon in Key Editor. Muted MIDI notes

Please add one more option in the preferences panel and name it:
Skip muted notes when using MIDI input

Thank you!


Reason why I'm making this feature request

I have the following scenario:

I would like to modify the pitch of the unmuted notes using MIDI input mode (see the arrow-indicated button in the above screenshot). The thing is, prior to pressing keys on the MIDI controller, I need to select the notes that I want to modify. Otherwise, muted notes will be also automatically selected.

(Example. Muted notes are also selected)

midi input