Re: mouse zoom centred on mouse position.

[Petr M. <mi...@ph...>]

I have revised the mouse wheel zooming, see patch:
https://sourceforge.net/tracker/?func=detail&aid=3537423&group_id=2055&atid=302055

Tested using a normal USB mouse.
Hotkeys are useful when using touchpad.
Hope you like it.

---
Petr