prefs.auto_export_xml_to_pdf no longer present

Hi,

I've now tried to set up Ipe to autosave to PDF. In the old days that
was done via menue. By searching the mailing list for "auto export
pdf" the only mention I could find [1] is that this is now done via
the "prefs.auto_export_xml_to_pdf" setting in prefs.lua

But looking at the prefs.lua that comes with 7.2.5 there does not seem
to be that setting. Has it been renamed or is this feature now
implemented in a totally different way?

-- 
/Dietmar/

 [1] http://thread.gmane.org/gmane.comp.graphics.ipe.general/1192


Secure email communication:
https://encrypt.to/[email protected]
Public OpenPGP key: 0x235E6689