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