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 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