Allow changing the limits of font size scrolling

snake5 6 years ago 0

Currently the minimum font size is 8, however I do appreciate the options of using smaller fonts (7, for example, is still very readable and allows to see a lot more code at once) and scrolling to bigger ones when it's necessary. The only issue left is that it appears to be impossible to set font size to 7 by scrolling to it.