The easiest way, I suppose, to change all the font sizes is to increase this constant, and then refresh help.stylesheet, and restart:
https://docs.factorcode.org/content/word-default-font-size,fonts.html We have a patch to make this a bit easier, but currently several of our libraries like the help system start by basing their font sizes on that default value. I’d like that to hit master soon. You can also Ctrl +/- in the help browser to change font sizes. Best, John. > On Nov 27, 2020, at 7:48 PM, support <supp...@vigilancetech.com> wrote: > > > Hi everyone. > > I was wondering how would I change the font size in the help browser and > generally the IDE under Windows. > > I don't really want to have to change the font size in all the other > unrelated windows. > > TIA, > -Kevin > _______________________________________________ > Factor-talk mailing list > Factor-talk@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/factor-talk
_______________________________________________ Factor-talk mailing list Factor-talk@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/factor-talk
