Module jEdit

Class HelpTOCLoader

java.lang.Object
org.gjt.sp.jedit.help.HelpTOCLoader

public class HelpTOCLoader extends Object
Help table-of-contents loader.

Code for loading and constructing the table of contents (TOC). Doesn't refresh when plugins are (un)loaded: you'll have to call createTOC() again yourself.

Don't keep HelpTOCLoader instances between loads: use it and forget it.