| Package | Description |
|---|---|
| org.gjt.sp.jedit.gui |
Various GUI controls and dialog boxes.
|
| Modifier and Type | Class and Description |
|---|---|
class |
JEditHistoryModelSaver
Handles loading and saving of the "history" files.
|
| Modifier and Type | Method and Description |
|---|---|
static void |
HistoryModel.setSaver(HistoryModelSaver saver) |