| java.lang.Object org.gjt.sp.jedit.help.HelpIndex
HelpIndex | class HelpIndex (Code) | | |
Inner Class :static class Word | |
Inner Class :static class HelpFile | |
Method Summary | |
public HelpFile | getFile(int index) | public void | indexDirectory(String dir) Indexes all HTML and text files in the specified directory. | public void | indexEditorHelp() Indexes all available help, including the jEdit user's guide, FAQ,]
and plugin documentation. | public void | indexJAR(ZipFile jar) Indexes all HTML and text files in the specified JAR file. | public void | indexURL(String url) Reads the specified HTML file and adds all words defined therein to the
index. | public Word | lookupWord(String word) |
HelpIndex | public HelpIndex()(Code) | | |
getFile | public HelpFile getFile(int index)(Code) | | |
indexDirectory | public void indexDirectory(String dir) throws Exception(Code) | | Indexes all HTML and text files in the specified directory.
Parameters: dir - The directory |
indexEditorHelp | public void indexEditorHelp()(Code) | | Indexes all available help, including the jEdit user's guide, FAQ,]
and plugin documentation.
|
indexJAR | public void indexJAR(ZipFile jar) throws Exception(Code) | | Indexes all HTML and text files in the specified JAR file.
Parameters: jar - The JAR file |
indexURL | public void indexURL(String url) throws Exception(Code) | | Reads the specified HTML file and adds all words defined therein to the
index.
Parameters: url - The HTML file's URL |
|
|