Devansh Rathour

FEAT: Editor font size increment/decrement.

3

**Is your feature request related to a problem? Please describe.** Is there any way to increase or decrease the size of the editor font like in other editors? using Ctrl...