Module jEdit
Package 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 25221 2020-04-12 16:00:17Z kpouer $
Author:
Slava Pestov

  • Field Details

    • 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

    • ACTIVATED

      public static final Object ACTIVATED
      Active view changed.
      Since:
      jEdit 4.3pre4

    • FULL_SCREEN_TOGGLED

      public static final Object FULL_SCREEN_TOGGLED
      Full screen mode has been toggled.
      Since:
      jEdit 5.3pre1

  • Constructor Details

    • ViewUpdate

      public ViewUpdate(View view, @Nonnull Object what)
      Creates a new view update message.
      Parameters:
      view - The view
      what - What happened

  • Method Details

    • getWhat

      public Object getWhat()
      Returns what caused this view update.

    • getView

      public View getView()
      Returns the view involved.

    • paramString

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