We might be adding a editor font size as a plugin - when that’s available it might be reasonable to hook that up to Ctrl+Scroll. Right now the only zooming mechanism is zooming the entire interface which doesn’t seem to happen on most other apps.
We might be adding a editor font size as a plugin - when that’s available it might be reasonable to hook that up to Ctrl+Scroll. Right now the only zooming mechanism is zooming the entire interface which doesn’t seem to happen on most other apps.