Uses of Class
org.gjt.universe.gui.MicroHelp.History

Packages that use MicroHelp.History

org.gjt.universe.gui

Uses of MicroHelp.History in org.gjt.universe.gui

Fields in org.gjt.universe.gui declared as MicroHelp.History

(package private) MicroHelp.History	MicroHelp.history
(package private) MicroHelp.History	MicroHelp.base
(package private) MicroHelp.History	MicroHelp.History.current
(package private) MicroHelp.History	MicroHelp.History.last
(package private) MicroHelp.History	MicroHelp.History.next

Methods in org.gjt.universe.gui that return MicroHelp.History

MicroHelp.History	MicroHelp.History.getLast()
MicroHelp.History	MicroHelp.History.getNext()
MicroHelp.History	MicroHelp.History.getCurrent()
MicroHelp.History	MicroHelp.History.getBase()
MicroHelp.History	MicroHelp.History.isInHistory(java.lang.String url)