org.gjt.sp.jedit.msg
Class EditorExitRequested
java.lang.Object
org.gjt.sp.jedit.EBMessage
org.gjt.sp.jedit.msg.EditorExitRequested
- public class EditorExitRequested
- extends EBMessage
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.
- Since:
- jEdit 3.1pre4
- Version:
- $Id: EditorExitRequested.java,v 1.2 2002/05/14 07:55:48 spestov Exp $
- Author:
- Dirk Moebius
Method Summary |
View |
getView()
Returns the view involved. |
EditorExitRequested
public EditorExitRequested(View view)
- Creates a new editor exiting started message.
- Parameters:
view
- The view from which this exit was called
getView
public View getView()
- Returns the view involved.