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)