org.gjt.sp.jedit.msg
Class ViewUpdate

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

public class ViewUpdate
extends EBMessage

Message sent when a view-related change occurs.

Since:
jEdit 2.2pre6
Version:
$Id: ViewUpdate.java,v 1.4 2003/01/12 03:08:24 spestov Exp $
Author:
Slava Pestov

Nested Class Summary
 
Nested classes inherited from class org.gjt.sp.jedit.EBMessage
EBMessage.NonVetoable
 
Field Summary
static Object CLOSED
          View closed.
static Object CREATED
          View created.
static Object EDIT_PANE_CHANGED
          Active edit pane changed.
 
Constructor Summary
ViewUpdate(View view, Object what)
          Creates a new view update message.
 
Method Summary
 View getView()
          Returns the view involved.
 Object getWhat()
          Returns what caused this view update.
 String paramString()
          Returns a string representation of this message's parameters.
 
Methods inherited from class org.gjt.sp.jedit.EBMessage
getSource, isVetoed, toString, veto
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

CREATED

public static final Object CREATED
View created.


CLOSED

public static final Object CLOSED
View closed.


EDIT_PANE_CHANGED

public static final Object EDIT_PANE_CHANGED
Active edit pane changed.

Since:
jEdit 4.1pre1
Constructor Detail

ViewUpdate

public ViewUpdate(View view,
                  Object what)
Creates a new view update message.

Parameters:
view - The view
what - What happened
Method Detail

getWhat

public Object getWhat()
Returns what caused this view update.


getView

public View getView()
Returns the view involved.


paramString

public String paramString()
Description copied from class: EBMessage
Returns a string representation of this message's parameters.

Overrides:
paramString in class EBMessage