The quickest way is to change the default-font-size in the fonts vocab to be larger.
IN: fonts CONSTANT: default-font-size 36 “help.stylesheet” reload save > On Sep 19, 2023, at 12:56 AM, Georg Simon <[email protected]> wrote: > > 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 > [email protected] > https://lists.sourceforge.net/lists/listinfo/factor-talk _______________________________________________ Factor-talk mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/factor-talk
