[fziegler]

Thanks a lot, itsme, for that request, and thanks a lot for implementing this, Mike! Works like a charm.

It'll save my life on stage when fiddling around with the pedal and not correctly hitting it in the right place - or encountering a malfunction! As a piano player with a 2-kbd setup, I have ~6 pedals underneath the instrument - widely spread around.