| Package | Description | 
|---|---|
| org.gjt.sp.jedit.gui | Various GUI controls and dialog boxes. | 
| Modifier and Type | Method and Description | 
|---|---|
| HistoryModel | HistoryTextArea. getModel()Returns the underlying history controller. | 
| HistoryModel | HistoryText. getModel()Returns the underlying history controller. | 
| HistoryModel | HistoryTextField. getModel()Returns the underlying history model. | 
| static HistoryModel | HistoryModel. getModel(java.lang.String name)Returns a named model. | 
| Modifier and Type | Method and Description | 
|---|---|
| java.util.Map<java.lang.String,HistoryModel> | JEditHistoryModelSaver. load(java.util.Map<java.lang.String,HistoryModel> models) | 
| java.util.Map<java.lang.String,HistoryModel> | HistoryModelSaver. load(java.util.Map<java.lang.String,HistoryModel> models) | 
| Modifier and Type | Method and Description | 
|---|---|
| java.util.Map<java.lang.String,HistoryModel> | JEditHistoryModelSaver. load(java.util.Map<java.lang.String,HistoryModel> models) | 
| java.util.Map<java.lang.String,HistoryModel> | HistoryModelSaver. load(java.util.Map<java.lang.String,HistoryModel> models) | 
| boolean | JEditHistoryModelSaver. save(java.util.Map<java.lang.String,HistoryModel> models) | 
| boolean | HistoryModelSaver. save(java.util.Map<java.lang.String,HistoryModel> models) |