org.gjt.sp.jedit.bufferset
Interface BufferSetListener

All Superinterfaces:
java.util.EventListener
All Known Implementing Classes:
BufferSetAdapter, EditPane

public interface BufferSetListener
extends java.util.EventListener

This is the listener for the BufferSet changes.

Since:
jEdit 4.3pre15

Method Summary
 void bufferAdded(Buffer buffer, int index)
          A buffer was added in the bufferSet.
 void bufferMoved(Buffer buffer, int oldIndex, int newIndex)
          A buffer was moved in the BufferSet.
 void bufferRemoved(Buffer buffer, int index)
          A buffer was removed from the bufferSet.
 void bufferSetSorted()
          The bufferSet was sorted.
 

Method Detail

bufferAdded

void bufferAdded(Buffer buffer,
                 int index)
A buffer was added in the bufferSet.

Parameters:
buffer - the buffer
index - the position where it was added

bufferRemoved

void bufferRemoved(Buffer buffer,
                   int index)
A buffer was removed from the bufferSet.

Parameters:
buffer - the removed buffer
index - the position where the buffer was

bufferMoved

void bufferMoved(Buffer buffer,
                 int oldIndex,
                 int newIndex)
A buffer was moved in the BufferSet.

Parameters:
buffer - the moved buffer
oldIndex - the old index
newIndex - the new index

bufferSetSorted

void bufferSetSorted()
The bufferSet was sorted.