Using now 2560x1600 pixels I would like to change all font sizes permanently, menu bar and search field included.
Thanks, Georg _______________________________________________ Factor-talk mailing list Factor-talk@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/factor-talk
