|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.gjt.sp.jedit.EBMessage
org.gjt.sp.jedit.msg.EditorExitRequested
public class EditorExitRequested
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.
Constructor Summary | |
---|---|
EditorExitRequested(View view)
Creates a new editor exiting started message. |
Method Summary | |
---|---|
void |
cancelExit()
Cancels the exit process. |
View |
getView()
Returns the view involved. |
boolean |
hasBeenExitCancelled()
Check if the exit process has been cancelled. |
Methods inherited from class org.gjt.sp.jedit.EBMessage |
---|
getSource, paramString, toString |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public EditorExitRequested(View view)
view
- The view from which this exit was calledMethod Detail |
---|
public View getView()
public void cancelExit()
public boolean hasBeenExitCancelled()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |