Package | Description |
---|---|
org.gjt.sp.jedit.gui |
Various GUI controls and dialog boxes.
|
Modifier and Type | Method | Description |
---|---|---|
static HistoryModel |
HistoryModel.getModel(java.lang.String name) |
Returns a named model.
|
HistoryModel |
HistoryText.getModel() |
Returns the underlying history controller.
|
HistoryModel |
HistoryTextArea.getModel() |
Returns the underlying history controller.
|
HistoryModel |
HistoryTextField.getModel() |
Returns the underlying history model.
|
Modifier and Type | Method | 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 | 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) |