Package org.gjt.sp.jedit.msg
Class DockableWindowUpdate
- java.lang.Object
-
- org.gjt.sp.jedit.EBMessage
-
- org.gjt.sp.jedit.msg.DockableWindowUpdate
-
public class DockableWindowUpdate extends EBMessage
Message sent when dockable window state changes.- Since:
- jEdit 4.2pre1
-
-
Field Summary
Fields Modifier and Type Field Description static java.lang.Object
ACTIVATED
Dockable activated.static java.lang.Object
DEACTIVATED
Dockable deactivated.static java.lang.Object
PROPERTIES_CHANGED
Properties changed.
-
Constructor Summary
Constructors Constructor Description DockableWindowUpdate(DockableWindowManager wm, java.lang.Object what, java.lang.String dockable)
Creates a new dockable window update message.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.String
getDockable()
Returns the dockable in question, or null if the message type isPROPERTIES_CHANGED
.java.lang.Object
getWhat()
Returns what caused this dockable update.java.lang.String
paramString()
-
-
-
Field Detail
-
PROPERTIES_CHANGED
public static final java.lang.Object PROPERTIES_CHANGED
Properties changed. Fired instead of globalPropertiesChanged
for improved performance.- Since:
- jEdit 4.2pre1
-
ACTIVATED
public static final java.lang.Object ACTIVATED
Dockable activated. This is sent when the dockable is made visible.- Since:
- jEdit 4.2pre1
-
DEACTIVATED
public static final java.lang.Object DEACTIVATED
Dockable deactivated. This is sent when the dockable is hidden.- Since:
- jEdit 4.2pre1
-
-
Constructor Detail
-
DockableWindowUpdate
public DockableWindowUpdate(DockableWindowManager wm, @Nonnull java.lang.Object what, java.lang.String dockable)
Creates a new dockable window update message.- Parameters:
wm
- The dockable window managerwhat
- What happeneddockable
- The dockable window in question
-
-
Method Detail
-
getWhat
public java.lang.Object getWhat()
Returns what caused this dockable update.
-
getDockable
public java.lang.String getDockable()
Returns the dockable in question, or null if the message type isPROPERTIES_CHANGED
.
-
paramString
public java.lang.String paramString()
- Overrides:
paramString
in classEBMessage
- Returns:
- a string representation of this message's parameters.
-
-