Package | Description |
---|---|
org.gjt.sp.jedit |
This package contains jEdit 4's core classes.
|
org.gjt.sp.jedit.bufferset |
Classes related to implementation of the BufferSets feature of jEdit.
|
Modifier and Type | Method and Description |
---|---|
BufferSet |
EditPane.getBufferSet()
Returns the current buffer set.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<BufferSet> |
BufferSetManager.getOwners(Buffer buffer) |
Constructor and Description |
---|
BufferSet(BufferSet source) |