|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use BufferSetManager | |
---|---|
org.gjt.sp.jedit | This package contains jEdit's core classes. |
Uses of BufferSetManager in org.gjt.sp.jedit |
---|
Methods in org.gjt.sp.jedit that return BufferSetManager | |
---|---|
static BufferSetManager |
jEdit.getBufferSetManager()
Returns the bufferSet manager. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |