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-le...@gretlml.univpm.it
Website:
https://gretlml.univpm.it/postorius/lists/gretl-users.gretlml.univpm.it/
