org.gjt.sp.jedit.help

Class HelpHistoryModel