Alex,

If you have several keyboards hooked up, then it wouldn't be user-friendly if you still had to use a ctrl-key combination to switch from one keyboard to another. Simply pressing a key on the keyboard should be sufficient.

At the moment I'm only doing interface adjustments for users of special gear like MIDI-guitars and MIDI-accordions. Keyboard owners already have plenty of options.

Jos