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.