Change the editor font size using the mouse wheel
Increase or decrease the font size on-the-fly
How to use:
Turn on the feature in Settings/Preferences | Editor | General | Change font size with Ctrl+Mouse Wheel
. Then you can increase or decrease the font size of your editor with your mouse wheel.