Uses of Interface
org.gjt.sp.jedit.gui.HistoryModelSaver
-
Packages that use HistoryModelSaver Package Description org.gjt.sp.jedit.gui Various GUI controls and dialog boxes. -
-
Uses of HistoryModelSaver in org.gjt.sp.jedit.gui
Classes in org.gjt.sp.jedit.gui that implement HistoryModelSaver Modifier and Type Class Description class
JEditHistoryModelSaver
Handles loading and saving of the "history" files.Methods in org.gjt.sp.jedit.gui with parameters of type HistoryModelSaver Modifier and Type Method Description static void
HistoryModel. setSaver(HistoryModelSaver saver)
-