Uses of Interface
org.gjt.sp.jedit.gui.HistoryModelSaver

Packages that use HistoryModelSaver

Package	Description
org.gjt.sp.jedit.gui

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)