Préférences: Répertoires avec de la documentation dur l'API

Vous pouvez spécifier le documentation sur l'API dont vous avez besoin dans la liste :
 



 


Entrez les répertoires nécessaires dans le liste. Dans le menu contextuel, vous trouvez un item qui ouvre un gestionnaire de fichiers qui vous permet de choisir un répertoire de votre disque dur.

Les répertoires définis doivent contenir des fichiers générés à l'aide du JavaDoc. Avec le JDK 1.1, vous trouvez le répertoire nécessaire dans jdk-1.1/docs/api (sous UNIX) ou dans un répertoire similaire sous votre OS.

Quand vous confirmez votre choix en cliquant sur "OK", Jedi construira un nouvel index, cette opération peut prendre un peu de temps. Une barre de progression indique l'état d'avancement. Quand tout est fini, le système d'aide de Jedi est prêt à fonctionner..