|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use BufferSet | |
---|---|
org.gjt.sp.jedit | This package contains jEdit's core classes. |
org.gjt.sp.jedit.bufferset |
Uses of BufferSet in org.gjt.sp.jedit |
---|
Methods in org.gjt.sp.jedit that return BufferSet | |
---|---|
BufferSet |
EditPane.getBufferSet()
Returns the current buffer set. |
static BufferSet |
jEdit.getGlobalBufferSet()
Returns the global buffer set, which can be shared by several views/editpanes. |
BufferSet |
View.getLocalBufferSet()
Returns the view's local buffer set, which can be shared by several editpanes. |
Uses of BufferSet in org.gjt.sp.jedit.bufferset |
---|
Methods in org.gjt.sp.jedit.bufferset with parameters of type BufferSet | |
---|---|
void |
BufferSetManager.addAllBuffers(BufferSet bufferSet)
Add all buffers to the bufferSet. |
void |
BufferSetManager.addBuffer(BufferSet bufferSet,
Buffer buffer)
Add a buffer in the given bufferSet. |
void |
BufferSetManager.mergeBufferSet(BufferSet target,
BufferSet source)
Merge the content of the source bufferSet into the target bufferSet |
void |
BufferSetManager.BufferSetVisitor.visit(BufferSet bufferSet)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |