| java.lang.Object org.gjt.sp.jedit.EBMessage org.gjt.sp.jedit.msg.DockableWindowUpdate
DockableWindowUpdate | public class DockableWindowUpdate extends EBMessage (Code) | | Message sent when dockable window state changes.
author: Slava Pestov version: $Id: DockableWindowUpdate.java 5004 2004-03-28 00:07:27Z spestov $ since: jEdit 4.2pre1 |
ACTIVATED | final public static Object ACTIVATED(Code) | | Dockable activated. This is sent when the dockable is made visible.
since: jEdit 4.2pre1 |
DEACTIVATED | final public static Object DEACTIVATED(Code) | | Dockable deactivated. This is sent when the dockable is hidden.
since: jEdit 4.2pre1 |
PROPERTIES_CHANGED | final public static Object PROPERTIES_CHANGED(Code) | | Properties changed. Fired instead of global
PropertiesChanged for improved performance.
since: jEdit 4.2pre1 |
DockableWindowUpdate | public DockableWindowUpdate(DockableWindowManager wm, Object what, String dockable)(Code) | | Creates a new dockable window update message.
Parameters: wm - The dockable window manager Parameters: what - What happened Parameters: dockable - The dockable window in question |
getDockable | public String getDockable()(Code) | | Returns the dockable in question, or null if the message type is
PROPERTIES_CHANGED .
|
getWhat | public Object getWhat()(Code) | | Returns what caused this dockable update.
|
|
|