[Feature Request] More convenient option to change font size
Opened this issue · 1 comments
Letsric commented
Currently, the font size has to be changed by using the settings.
Personally, I would appreciate Ctrl+Mouse wheel to change it. A keyboard shortcut (like how it's done in the Terminal with Ctrl +) would also be nice.