On Fri, 16 Mar 2012, oliman wrote:
Thanks for your answer.
[ On changing the font size in the gretl graph page; the
answer being that you couldn't do it. ]
I've now tried some experimentation with the graph page, and I
see the issue. Unfortunately the meaning of a font size such
as "10" has changed (by a factor of 2, I think) across
versions of gnuplot's "pdfcairo" driver, which is the
preferred means of generating the graph page as PDF. This
means that the font can turn out too small or too big dpending
on the gnuplot version. Urgh.
To work around this I've added a new sub-command to the
"graphpg" command. You can now say, for example:
graphpg fontscale 2.0
to double the font size relative to the default. Do this in a
script or at the gretl console. The setting will be remembered
for the duration of the gretl session.
On my TODO list is figuring out exactly when the pdfcairo font
size interpretation changed, so that by inspecting the gnuplot
version/date gretl can maybe get it right automatically.
Allin Cottrell