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

Packages that use HistoryModelSaver
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
 class JEditHistoryModelSaver
           
 

Methods in org.gjt.sp.jedit.gui with parameters of type HistoryModelSaver
static void HistoryModel.setSaver(HistoryModelSaver saver)