Font size increase in the editor


This is a “bug”-ish/ feature request.
In the editor i cant get ctrl+(+) to actually work, ctrl+(-) works fine, this is under linux(ubuntu 17.10).
It would be cool if we could change these builtin shortcuts.

Also, my feature request is that you guys add mouse scrolling for font zooming: ctrl + mouse scroll up/down, it’s standard in most apps and clears this problem.


Please report these kind of issues and feature requests from within the editor using Help->Report Issue!