Editor: allow to zoom in/out in text editor (ctrl + mouse wheel).