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.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
JEditHistoryModelSaver
public JEditHistoryModelSaver()
load
public java.util.Map<java.lang.String,HistoryModel> load(java.util.Map<java.lang.String,HistoryModel> models)
- Specified by:
load
in interface HistoryModelSaver
save
public boolean save(java.util.Map<java.lang.String,HistoryModel> models)
- Specified by:
save
in interface HistoryModelSaver