Can't resize text in editor

[saulfgonzalez]

Text is tiny in the editor window. There does not seem to be a way to resize it. Neither Ctrl + Mouse scrollwheel nor Ctrl + "+" seem to work. There is no option that I could find to resize the editor text.

It is of note that Ctrl + mouse scroll DOES resize the preview window text, but it also makes it move up it at the same time.

[bdutta]

This is certainly a significant usability problem. In my case however, the text in editor window is very large. I usually work with 8 or 9pt sized fonts for all applications, and that I am seeing must be 12 or 13pt size out of the box. There seems to be no preference setting for controlling font size, and also the descynchronization between editor and preview pane with font size, can defeat the purpose easily.

[rochacbruno]

#428