java.lang.Object
org.gjt.sp.jedit.EBMessage
org.gjt.sp.jedit.msg.DockableWindowUpdate
Message sent when dockable window state changes.
- Since:
- jEdit 4.2pre1
- Version:
- $Id: DockableWindowUpdate.java 25221 2020-04-12 16:00:17Z kpouer $
- Author:
- Slava Pestov
-
Field Summary
-
Constructor Summary
ConstructorDescriptionDockableWindowUpdate
(DockableWindowManager wm, Object what, String dockable) Creates a new dockable window update message. -
Method Summary
Modifier and TypeMethodDescriptionReturns the dockable in question, or null if the message type isPROPERTIES_CHANGED
.getWhat()
Returns what caused this dockable update.
-
Field Details
-
PROPERTIES_CHANGED
Properties changed. Fired instead of globalPropertiesChanged
for improved performance.- Since:
- jEdit 4.2pre1
-
ACTIVATED
Dockable activated. This is sent when the dockable is made visible.- Since:
- jEdit 4.2pre1
-
DEACTIVATED
Dockable deactivated. This is sent when the dockable is hidden.- Since:
- jEdit 4.2pre1
-
-
Constructor Details
-
DockableWindowUpdate
Creates a new dockable window update message.- Parameters:
wm
- The dockable window managerwhat
- What happeneddockable
- The dockable window in question
-
-
Method Details
-
getWhat
Returns what caused this dockable update. -
getDockable
Returns the dockable in question, or null if the message type isPROPERTIES_CHANGED
. -
paramString
- Overrides:
paramString
in classEBMessage
- Returns:
- a string representation of this message's parameters.
-