Am 23.11.2024 um 17:57 schrieb Brian Revell:
> Thanks. I have a new laptop and the font in Gretl seems to have shrunk
> so I missed seeing it at the bottom of the list of options. Pity there
> is no Settings option for Gretl  on fonts and font size. Setting off
> he Windows font options makes no difference to the Gretl screen
> appearance.
> Brian

Tools / Settings / Menu font... (re-translated from German, so perhaps
not verbatim)

-s
_______________________________________________
Gretl-users mailing list -- gretl-users@gretlml.univpm.it
To unsubscribe send an email to gretl-users-leave@gretlml.univpm.it
Website: https://gretlml.univpm.it/postorius/lists/gretl-users.gretlml.univpm.it/