Module jEdit

Class BufferChanging


public class BufferChanging extends PositionChanging
An EBMessage sent by the EditPane just before the buffer changes. jEdit core emits this whenever the EditPane's buffer changes. Known plugins to be using this: BufferLocal, Navigator.
Since:
jEdit 4.3pre4
Version:
$Id: BufferChanging.java 25325 2020-05-09 08:34:40Z kpouer $
  • Constructor Details

    • BufferChanging

      public BufferChanging(EditPane editPane, Buffer newBuffer)
      Parameters:
      editPane - the editPane that sent the message
      newBuffer - the buffer that will soon be displayed.
  • Method Details

    • getBuffer

      public Buffer getBuffer()
      Returns:
      the new buffer that is about to be displayed