|
||||||||||
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()
|
Methods in org.gjt.sp.jedit with parameters of type BufferSet | |
---|---|
void |
EditPane.setBufferSet(BufferSet bufferSet)
Set the new bufferSet of the EditPane. |
Uses of BufferSet in org.gjt.sp.jedit.bufferset |
---|
Methods in org.gjt.sp.jedit.bufferset that return BufferSet | |
---|---|
BufferSet |
BufferSetManager.getEditPaneBufferSet(EditPane editPane)
Returns a EditPane bufferSet for the given EditPane. |
BufferSet |
BufferSetManager.getGlobalBufferSet()
Returns the global bufferSet. |
BufferSet |
BufferSetManager.getViewBufferSet(View view)
Returns a view bufferSet for the given view. |
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 |