| Message sent when jEdit starts the exit process. It is send before
the settings are saved and the buffers are closed. Listeners of this
message should be aware that jEdit might not exit truely, maybe because
of errors, or the user cancelled the "Save unsaved changed" dialog, or
jEdit is in background mode.
author: Dirk Moebius version: $Id: EditorExitRequested.java 9920 2007-07-03 21:14:47Z kpouer $ since: jEdit 3.1pre4 |