It works well for me in several platforms. What would improve it is when you zoom, with the mouse wheel or gesture if it would zoom in on the mouse cursor poin

It works well for me in several platforms. What would improve it is when you zoom, with the mouse wheel or gesture if it would zoom in on the mouse cursor point rather than at the centre of the screen.