4 ms·
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 kn
by bachmeier 3y 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.
- rkeene2 3y agoYeah, it's not really usable without being able to configure a reasonable font.
- porridgeraisin 3y agoFor 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 ;)
- monkey_monkey 3y agocmd + (or whatever the equivalent is for your platform) seems to permanently increase the font size.
- bachmeier 3y agoTried it, but it didn't work for me.