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