Keyboard workspace zoom

In browsers like Firefox, you can use CTRL+scroll(mouse) to zoom in or zoom out.

It could speed a bit moving around workspace.

(besides using overview tool)

And holding down the middle button is used for panning entire page. -> panning workspace.


Thanks for your suggestions. We will consider it.
CR # 37 111.

Thanks again!