Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep

org.gjt.sp.jedit.msg
Class EditorExitRequested  view EditorExitRequested download EditorExitRequested.java

java.lang.Object
  extended byorg.gjt.sp.jedit.EBMessage
      extended byorg.gjt.sp.jedit.msg.EditorExitRequested

public class EditorExitRequested
extends org.gjt.sp.jedit.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 $

Nested Class Summary
 
Nested classes inherited from class org.gjt.sp.jedit.EBMessage
org.gjt.sp.jedit.EBMessage.NonVetoable
 
Field Summary
 
Fields inherited from class org.gjt.sp.jedit.EBMessage
 
Constructor Summary
EditorExitRequested(org.gjt.sp.jedit.View view)
          Creates a new editor exiting started message.
 
Method Summary
 org.gjt.sp.jedit.View getView()
          Returns the view involved.
 
Methods inherited from class org.gjt.sp.jedit.EBMessage
getSource, isVetoed, paramString, toString, veto
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

EditorExitRequested

public EditorExitRequested(org.gjt.sp.jedit.View view)
Creates a new editor exiting started message.

Method Detail

getView

public org.gjt.sp.jedit.View getView()
Returns the view involved.