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 <georg.si...@auge.de> 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 > 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
