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.EventListener
This is the listener for the BufferSet changes.- Since:
- jEdit 4.3pre15
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description 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 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.
-
-