org.gjt.sp.jedit.msg
Class ViewUpdate

java.lang.Object
  org.gjt.sp.jedit.EBMessage
      org.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 java.lang.Object	CLOSED View closed.
static java.lang.Object	CREATED View created.
static java.lang.Object	EDIT_PANE_CHANGED Active edit pane changed.

Constructor Summary

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

Method Summary

View	getView() Returns the view involved.
java.lang.Object	getWhat() Returns what caused this view update.
java.lang.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 java.lang.Object CREATED

View created.

CLOSED

public static final java.lang.Object CLOSED

View closed.

EDIT_PANE_CHANGED

public static final java.lang.Object EDIT_PANE_CHANGED

Active edit pane changed.

Since:

jEdit 4.1pre1

Constructor Detail

ViewUpdate

public ViewUpdate(View view,
                  java.lang.Object what)

Creates a new view update message.

Parameters:

view - The view

what - What happened

Method Detail

getWhat

public java.lang.Object getWhat()

Returns what caused this view update.

getView

public View getView()

Returns the view involved.

paramString

public java.lang.String paramString()

Description copied from class: EBMessage

Returns a string representation of this message's parameters.

Overrides:

paramString in class EBMessage