Package org.gjt.sp.jedit.bufferset
Interface BufferSetListener
-
- All Superinterfaces:
java.util.EventListener
- All Known Implementing Classes:
BufferSetAdapter,EditPane
public interface BufferSetListener extends java.util.EventListenerThis is the listener for the BufferSet changes.- Since:
- jEdit 4.3pre15
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voidbufferAdded(Buffer buffer, int index)A buffer was added in the bufferSet.voidbufferMoved(Buffer buffer, int oldIndex, int newIndex)A buffer was moved in the BufferSet.voidbufferRemoved(Buffer buffer, int index)A buffer was removed from the bufferSet.voidbufferSetSorted()The bufferSet was sorted.
-
-
-
Method Detail
-
bufferAdded
void bufferAdded(Buffer buffer, int index)
A buffer was added in the bufferSet.- Parameters:
buffer- the bufferindex- the position where it was added
-
bufferRemoved
void bufferRemoved(Buffer buffer, int index)
A buffer was removed from the bufferSet.- Parameters:
buffer- the removed bufferindex- 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 bufferoldIndex- the old indexnewIndex- the new index
-
bufferSetSorted
void bufferSetSorted()
The bufferSet was sorted.
-
-