|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |