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