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 and 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 and Description
static void	HistoryModel.setSaver(HistoryModelSaver saver)