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