Module jEdit

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
Version:
$Id: DockableWindowUpdate.java 25221 2020-04-12 16:00:17Z kpouer $
Author:
Slava Pestov
  • Field Details

    • PROPERTIES_CHANGED

      public static final Object PROPERTIES_CHANGED
      Properties changed. Fired instead of global PropertiesChanged for improved performance.
      Since:
      jEdit 4.2pre1
    • ACTIVATED

      public static final Object ACTIVATED
      Dockable activated. This is sent when the dockable is made visible.
      Since:
      jEdit 4.2pre1
    • DEACTIVATED

      public static final Object DEACTIVATED
      Dockable deactivated. This is sent when the dockable is hidden.
      Since:
      jEdit 4.2pre1
  • Constructor Details

    • DockableWindowUpdate

      public DockableWindowUpdate(DockableWindowManager wm, @Nonnull Object what, String dockable)
      Creates a new dockable window update message.
      Parameters:
      wm - The dockable window manager
      what - What happened
      dockable - The dockable window in question
  • Method Details

    • getWhat

      public Object getWhat()
      Returns what caused this dockable update.
    • getDockable

      public String getDockable()
      Returns the dockable in question, or null if the message type is PROPERTIES_CHANGED.
    • paramString

      public String paramString()
      Overrides:
      paramString in class EBMessage
      Returns:
      a string representation of this message's parameters.