Re: [Factor-talk] font sizes in browser und listener

[John B. <mr...@gm...>]

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 <geo...@au...> 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
> Fac...@li...
> https://lists.sourceforge.net/lists/listinfo/factor-talk