Button Editor doesn't come up

Serengeti (Rhino WIP)
1

In German Rhino on German Windows, a Shift+right mouse click on a button doesn’t open the Button Editor.

(This was mentioned elsewhere, here now for better tracking)