java.lang.Object
org.gjt.sp.jedit.bufferset.BufferSetAdapter
- All Implemented Interfaces:
EventListener
,BufferSetListener
- Since:
- jEdit 4.3pre15
- Author:
- Matthieu Casanova
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
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
The bufferSet was sorted.
-
Constructor Details
-
BufferSetAdapter
public BufferSetAdapter()
-
-
Method Details
-
bufferAdded
Description copied from interface:BufferSetListener
A buffer was added in the bufferSet.- Specified by:
bufferAdded
in interfaceBufferSetListener
- Parameters:
buffer
- the bufferindex
- the position where it was added
-
bufferRemoved
Description copied from interface:BufferSetListener
A buffer was removed from the bufferSet.- Specified by:
bufferRemoved
in interfaceBufferSetListener
- Parameters:
buffer
- the removed bufferindex
- the position where the buffer was
-
bufferMoved
Description copied from interface:BufferSetListener
A buffer was moved in the BufferSet.- Specified by:
bufferMoved
in interfaceBufferSetListener
- Parameters:
buffer
- the moved bufferoldIndex
- the old indexnewIndex
- the new index
-
bufferSetSorted
public void bufferSetSorted()Description copied from interface:BufferSetListener
The bufferSet was sorted.- Specified by:
bufferSetSorted
in interfaceBufferSetListener
-