Module jEdit
Package org.gjt.sp.jedit.msg

Class EditPaneUpdate

java.lang.Object
org.gjt.sp.jedit.EBMessage
org.gjt.sp.jedit.msg.EditPaneUpdate
Direct Known Subclasses:
PositionChanging
public class EditPaneUpdate extends EBMessage
Message sent when an edit pane-related change occurs.
Since:
jEdit 2.5pre1
Version:
$Id: EditPaneUpdate.java 25221 2020-04-12 16:00:17Z kpouer $
Author:
Slava Pestov

  • Field Details

    • CREATED

      public static final Object CREATED
      Edit pane created.

    • DESTROYED

      public static final Object DESTROYED
      Edit pane destroyed.

    • BUFFER_CHANGED

      public static final Object BUFFER_CHANGED
      The current buffer in the EditPane has changed to show a different buffer. This happens when an action results in a call to EditPane.setBuffer().

    • POSITION_CHANGING

      public static final Object POSITION_CHANGING
      Edit pane caret position is about to change in a major way

    • BUFFER_CHANGING

      public static final Object BUFFER_CHANGING
      Edit pane buffer is about to change. You should see this before BUFFER_CHANGED.
      Since:
      4.3pre3

    • BUFFERSET_CHANGED

      public static final Object BUFFERSET_CHANGED
      The bufferSet scope of the EditPane was changed.
      Since:
      4.3pre15

  • Constructor Details

    • EditPaneUpdate

      public EditPaneUpdate(EditPane editPane, @Nonnull Object what)
      Creates a new edit pane update message.
      Parameters:
      editPane - The edit pane
      what - What happened

  • Method Details

    • getWhat

      public Object getWhat()
      Returns what caused this edit pane update.

    • getEditPane

      public EditPane getEditPane()
      Returns the edit pane involved.

    • paramString

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