popup upon exiting, loading a new proof, or opening a new puzzle to save current proof (if proof exists)
popup upon exiting, loading a new proof, or opening a new puzzle to save current proof (if proof exists)


git-svn-id: 7b60c18216eb38535f23d2b6dcb02b245ca483a0@281 361cd0e3-9505-6840-87d6-36ed75c01346

Bram28/LEGUP,Bram28/LEGUP,Bram28/LEGUP