org.gjt.sp.jedit.msg
Class BufferChanging
java.lang.Object
org.gjt.sp.jedit.EBMessage
org.gjt.sp.jedit.msg.EditPaneUpdate
org.gjt.sp.jedit.msg.BufferChanging
public class BufferChanging
- extends EditPaneUpdate
An EBMessage sent by the EditPane just before the buffer changes.
It is also sent by some plugins just before the caret position is changed.
In hindsight, a better name for this class would be PositionChanging.
Plugins may emit this message just before they perform a
Navigation-Like operation, such as jumping the cursor to
another location (which may be in the same buffer or not). This is mostly
for the benefit of the Navigator plugin, but may be used by other plugins
too, such as BufferLocal.
- Since:
- jEdit 4.3pre4
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
BufferChanging
public BufferChanging(EditPane editPane,
Buffer newBuffer)
- Parameters:
editPane
- the editPane that sent the messagenewBuffer
- the buffer that will soon be displayed, or null if this is
a jump to the same buffer.
getBuffer
public Buffer getBuffer()
- Returns:
- the new buffer that is about to be displayed. This value can sometimes be null,
in the case where a plugin is changing to another position in the current buffer.