Einstellungen: Verzeichnisse mit API Dokumentationen

In dieser Liste können Sie die von Ihnen benötigte API Dokumentation angeben.

Tragen Sie hierzu in der Liste alle nötigen Verzeichnisse ein. Im Kontextmenü finden Sie einen Eintrag, der einen Verzeichnis-Requester öffnet, mit dem Sie bequem ein Verzeichnis auf Ihrer Festplatte auswählen können.

Die angegebenen Verzeichnisse müssen die von JavaDoc generierten Dateien enthalten. Beim JDK 1.1 finden Sie z.B. das entsprechende Verzeichnis in jdk-1.1/docs/api (unter UNIX) bzw. unter einem entsprechenden Pfad Ihres Dateisystems.

Wenn Sie Ihre Eingaben mit "Ok" bestätigen, dann wird von Jedi ein neuer Index aufgebaut, was einige Zeit in Anspruch nehmen kann. Eine Fortschrittsanzeige informiert Sie über die momentan durchgeführen Aktionen. Ist diese Konvertierung abgeschlossen, dann ist das Jedi Hilfesystem einsatzbereit.