Uses of Class
org.gjt.sp.jedit.gui.HistoryModel

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)