Exiting

There are two procedures that exit MrEd:

• mred:exit, which performs three actions:
  • If the preference 'mred:verify-exit is not #f, it prompts the user about quiting (see the preferences section), and if the user sanctions quiting, it
  • invokes the exit-callbacks, with mred:run-exit-callbacks, and if no exit callback returns #f, it
  • calls (exit).

  This is the recommended exit procedure.

• exit, which shuts down mred immediately.

Clean up actions can be installed by registering a callback procedure that will be invoked by mred:exit. To install a callback, use mred:insert-exit-callback:

  (mred:insert-exit-callback callback) 

On exit, callback will be called with no arguments; if it returns #f, then the exit is aborted.

The return value of mred:insert-exit-callback is a tag that can be used to remove the callback:

  (mred:remove-exit-callback callback-tag) 

callback-tag must be a value previously returned from mred:insert-exit-callback.

To run the exit callbacks, use :

  (mred:run-exit-callbacks)