3 ms·
To change the font, go to Preferences > User File Preferences and paste this in there: "font_face": "Monaco", "font_size": 13
by nborgo 16y ago
To change the font, go to Preferences > User File Preferences and paste this in there:
"font_face": "Monaco",
"font_size": 13