Allow font-size to be reduced
Opened this issue · 1 comments
arturog commented
It would help a lot if CTRL-(minus) and CTRL-(plus) work as expected, changing the font size of the tool. The default font is just too big and makes it difficult to work.
KevinGhadyani-minted commented
I added a solution to #752
This functionality already exists.