|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use HistoryModel | |
---|---|
org.gjt.sp.jedit.gui | Various GUI controls and dialog boxes. |
Uses of HistoryModel in org.gjt.sp.jedit.gui |
---|
Methods in org.gjt.sp.jedit.gui that return HistoryModel | |
---|---|
HistoryModel |
HistoryTextField.getModel()
Returns the underlying history model. |
HistoryModel |
HistoryTextArea.getModel()
Returns the underlying history controller. |
HistoryModel |
HistoryText.getModel()
Returns the underlying history controller. |
static HistoryModel |
HistoryModel.getModel(java.lang.String name)
Returns a named model. |
Methods in org.gjt.sp.jedit.gui that return types with arguments of type HistoryModel | |
---|---|
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)
|
Method parameters in org.gjt.sp.jedit.gui with type arguments of type HistoryModel | |
---|---|
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |