Javadoc Manager
The Javadoc Manager lists the Javadoc documentation that you have mounted in the IDE and the Javadoc documentation that you have generated in the IDE from mounted sources. Open the Javadoc Manager from the main window by choosing Tools
Javadoc Manager.
For each filesystem mounted in the IDE, the Javadoc Manager lists the
following editable properties:
- Hidden. If True, this filesystem is not visible in the
Filesystems tab of the Explorer.
- Search Engine. Specifies the default Javadoc search engine. You have two choices: the JDK 1.2/1.3 Search Engine, which is the default value,
and the Japanese JDK 1.2/1.3 Search Engine, which enables you to search
internationalized Javadoc documentation.
- Root Offset. Specifies the Javadoc top-level directory. The Javadoc
top-level directory contains the index.html file, a directory called
index-files that contains multiple index files, or both. When your
Javadoc files are in a JAR or zip file, the Javadoc top-level directory is
sometimes buried in the file's hierarchy. In this case, the IDE cannot correctly
search for and display Javadoc files unless the Root Offset property is set
to the Javadoc top-level directory.
The Javadoc Manager includes the following command buttons for mounting
and unmounting filesystems in the IDE.
- Add Folder. Opens a file chooser in which you can mount Javadoc files from a directory.
- Add Archive. Opens a file chooser in which you can mount Javadoc files from a JAR or zip file.
- Add HTTP. Opens a dialog box in which you can mount Javadoc
files from an HTTP connection.
- Remove. Removes the selected Javadoc filesystem. The filesystem is no longer viewable in the IDE. The files are not deleted from your system.
Legal Notices