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

Nested Class Summary

Nested classes inherited from class org.gjt.sp.jedit.EBMessage

EBMessage.NonVetoable

Constructor Summary

EditorExitRequested(View view)
Creates a new editor exiting started message.

Method Summary

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(View view)

Creates a new editor exiting started message.

Parameters:

view - The view from which this exit was called

Method Detail

getView

public View getView()

Returns the view involved.