Thanks. It is under Tools Preferences in my 2024c version. Saved my eyesight from continuing to cope with the default size 9 font.
Brian On Sat, 23 Nov 2024, 17:03 Sven Schreiber, <sven.schrei...@fu-berlin.de> wrote: > 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/ >
_______________________________________________ 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/
