Package | Description |
---|---|
org.gjt.sp.jedit |
This package contains jEdit's core classes.
|
Modifier and Type | Method | Description |
---|---|---|
static BufferHistory.Entry |
BufferHistory.getEntry(java.lang.String path) |
Modifier and Type | Method | Description |
---|---|---|
static java.util.List<BufferHistory.Entry> |
BufferHistory.getHistory() |
Returns the Buffer list.
|