Dear users and developers,
we currently have only arrow keys (up & down) to change selected note.
How do you think about a new feature to change the pitches by pressing a pitch name with a modification key.
For example:
- select a notehead of which its MIDI pitch number is 60.
- press ctrl + shift + d to change the pitch to D.