[Gretl-users] Re: Font settings

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(a)gretlml.univpm.it To unsubscribe send an email to gretl-users-leave(a)gretlml.univpm.it Website: https://gretlml.univpm.it/postorius/lists/gretl-users.gretlml.univpm.it/