On Fri, Nov 27, 2020 at 7:52 PM John Benediktsson <mrj...@gmail.com> wrote:
> 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. > > The Crtl +/- thing doesn't appear to work for me either in windows nor linux > 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 >
_______________________________________________ Factor-talk mailing list Factor-talk@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/factor-talk
