and on iOS (the Cocoa Mac OS/iPhone platforms) the same approach is taken in fakeMouseWheelKeyboardEventsKeyCode:windowIndex:
evt.modifiers = (CtrlKeyBit | OptionKeyBit | CommandKeyBit | ShiftKeyBit);
So I shall modify the X11 code to do the same. And I shall comment the code. These things NEED TO BE COMMENTED :-)
vm-dev@lists.squeakfoundation.org