Change font size with shortcuts
In many programs, it is possible to change the global font size using Ctrl + + and Ctrl + -. The IDE should offer this too.
/cc @harmonie
In many programs, it is possible to change the global font size using Ctrl + + and Ctrl + -. The IDE should offer this too.
/cc @harmonie