Package org.gjt.sp.jedit.gui
Class JEditHistoryModelSaver
- java.lang.Object
-
- org.gjt.sp.jedit.gui.JEditHistoryModelSaver
-
- All Implemented Interfaces:
HistoryModelSaver
public class JEditHistoryModelSaver extends java.lang.Object implements HistoryModelSaver
Handles loading and saving of the "history" files. A history file is .ini format and stores historymodels for all named historytextfields, separately but in the same file.
-
-
Constructor Summary
Constructors Constructor Description JEditHistoryModelSaver()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.Map<java.lang.String,HistoryModel>
load(java.util.Map<java.lang.String,HistoryModel> models)
boolean
save(java.util.Map<java.lang.String,HistoryModel> models)
-
-
-
Method Detail
-
load
public java.util.Map<java.lang.String,HistoryModel> load(java.util.Map<java.lang.String,HistoryModel> models)
- Specified by:
load
in interfaceHistoryModelSaver
-
save
public boolean save(java.util.Map<java.lang.String,HistoryModel> models)
- Specified by:
save
in interfaceHistoryModelSaver
-
-