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 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.