| org.gjt.sp.jedit.msg.EditPaneUpdate
 org.gjt.sp.jedit.msg.BufferChanging
| BufferChanging | | public class BufferChanging extends EditPaneUpdate (Code) | | 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
version:
$Id: BufferChanging.java 9899 2007-07-01 20:25:52Z ezust $ |
| Constructor Summary | |
| public | BufferChanging(EditPane editPane, Buffer newBuffer)
Parameters:
editPane - the editPane that sent the message
Parameters:
newBuffer - the buffer that will soon be displayed, or null if this isa jump to the same buffer. |
| Method Summary | |
| public Buffer | getBuffer()
the new buffer that is about to be displayed. |
| BufferChanging | | public BufferChanging(EditPane editPane, Buffer newBuffer)(Code) | |
Parameters:
editPane - the editPane that sent the message
Parameters:
newBuffer - the buffer that will soon be displayed, or null if this isa jump to the same buffer. |
| getBuffer | | public Buffer getBuffer()(Code) | | 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. |
|
|