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