Posted
It would be great if all editors which contain a figure could be horizontally zoomed in/out by scrolling the mouse wheel while pressing the control key (and of course if the mouse cursor is above the zoomable control). This behaviour (CTRL + mouse wheel) is very common with zoomable controls.
It would clearly increase the ease of use (and in an indirect way the productivity)
