Commits on Sep 9, 2022

1. Fix SaveOnExitFile in restored workspaces …

   ... and possibly more errors: we accidentally removed all exit handlers
   when quitting GAP, just before the workspace was saved, thus when
   restoring GAP from this session, those exist handlers were missing,
   including the one dealing with `SaveOnExitFile`.
   
   This code looses the ability to install new exit handlers as part of
   an exit handler, but that seems like a rather bad (and pointless)
   idea to me anyway.

   

   fingolfin committed Sep 9, 2022
   Configuration menu

   • View commit details
   • Copy full SHA for 66d6774
   • Browse repository at this point

   Copy the full SHA

   66d6774 View commit details

   Browse the repository at this point in the history