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