Package org.gjt.sp.jedit.manager
Interface BufferManager
-
- All Known Implementing Classes:
BufferManagerImpl
public interface BufferManagerThe buffer manager is here to manage theBufferlinked list.- Since:
- jEdit 5.6pre1
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voidforEach(java.util.function.Consumer<? super Buffer> action)java.util.Optional<Buffer>getBuffer(java.lang.String path)java.util.List<Buffer>getBuffers()java.util.List<Buffer>getDirtyBuffers()BuffergetFirst()intgetNextUntitledBufferId()java.util.List<Buffer>getNonUntitledDirtyBuffers()java.util.List<Buffer>getTitledBuffers()java.util.List<Buffer>getUntitledBuffers()intsize()
-
-
-
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()
-
getFirst
Buffer getFirst()
-
-