I'm sorry, this is a cvs build from March 2012, I cannot test right now
whether it has already been fixed in the meantime. This is on Ubuntu.
* When saving (a graph) to pdf, the setting for the font isn't
remembered from the earlier user settings (during the same session, i.e.
gretl hasn't been closed or a new dataset loaded).
thanks,
sven