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