It seems that on_mouse_scroll isn't firing while CTRL is held down. The events.py demo demonstrates this. Is it just me?
I want to handle ctrl-scroll events to implement zooming (instead of scrolling).
I am on the latest development checkout (bfe0cd3fcd157c75b1dc45729b1120cb2a252470) and Windows 7.
Thanks
Janto