[Denemo-devel] auto save and has_changed

[Richard Shann]

Auto save carries on saving regardless of whether you have edited
anything since it last fired off. To fix this will require improving the
code: at the moment there is a badly named global variable called
displays. It is a list of DenemoGUI, and this should become a structure
holding the autosave status. I'm not sure that the autosave works with
multiple guis.
Richard