| |
|
| java.lang.Object org.gjt.sp.jedit.EBMessage org.gjt.sp.jedit.msg.EditPaneUpdate
All known Subclasses: org.gjt.sp.jedit.msg.BufferChanging,
EditPaneUpdate | public class EditPaneUpdate extends EBMessage (Code) | | Message sent when an edit pane-related change occurs.
author: Slava Pestov version: $Id: EditPaneUpdate.java 10801 2007-10-04 09:13:00Z kpouer $ since: jEdit 2.5pre1 |
BUFFER_CHANGED | final public static Object BUFFER_CHANGED(Code) | | 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().
|
BUFFER_CHANGING | final public static Object BUFFER_CHANGING(Code) | | Edit pane buffer is about to change. You should see this before BUFFER_CHANGED.
Navigator uses this message to save the cursor position in its history.
Note: this could be an instance of BufferChanging class,
which also contains information about the new buffer that is about to be opened.
since: 4.3pre3 |
CREATED | final public static Object CREATED(Code) | | Edit pane created.
|
DESTROYED | final public static Object DESTROYED(Code) | | Edit pane destroyed.
|
EditPaneUpdate | public EditPaneUpdate(EditPane editPane, Object what)(Code) | | Creates a new edit pane update message.
Parameters: editPane - The edit pane Parameters: what - What happened |
getEditPane | public EditPane getEditPane()(Code) | | Returns the edit pane involved.
|
getWhat | public Object getWhat()(Code) | | Returns what caused this edit pane update.
|
|
|
|