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
