Comment by bachmeier
2 years ago
Changing the font is accessibility, not customization. I downloaded the app, opened it up, and the font was too small for it to be practical for me to use. I know it doesn't take much to fix, because I did a Ctrl-Shift-I, changed the font from 12px to 18px, and problem solved. It's not something I'm going to do over and over.
cmd + (or whatever the equivalent is for your platform) seems to permanently increase the font size.
Tried it, but it didn't work for me.
Yeah, it's not really usable without being able to configure a reasonable font.
For now, go to devtools and save a chrome snippet with document.querySelector(.cm-scroller).style.fontFamily = "whatever"; hit save.
Then everytime you open, Ctrl+shift+i, Ctrl+o, enter, Ctrl+enter incantation will run it.
Emacs style, if I may ;)