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
[email protected]
https://lists.sourceforge.net/lists/listinfo/factor-talk

Reply via email to