Package org.gjt.sp.jedit.manager

Interface BufferManager

  • All Known Implementing Classes:
    BufferManagerImpl
    public interface BufferManager
    The buffer manager is here to manage the Buffer linked list.
    Since:
    jEdit 5.6pre1

    • Method Detail

      • getBuffers

        java.util.List<Buffer> getBuffers()

      • getTitledBuffers

        java.util.List<Buffer> getTitledBuffers()

      • getUntitledBuffers

        java.util.List<Buffer> getUntitledBuffers()

      • getNonUntitledDirtyBuffers

        java.util.List<Buffer> getNonUntitledDirtyBuffers()

      • getDirtyBuffers

        java.util.List<Buffer> getDirtyBuffers()

      • forEach

        void forEach​(java.util.function.Consumer<? super Buffer> action)

      • size

        int size()

      • getBuffer

        java.util.Optional<Buffer> getBuffer​(java.lang.String path)

      • getNextUntitledBufferId

        int getNextUntitledBufferId()