Edition de fichiers en externe

Pour éditer un fichier du plan de travail en dehors du plan de travail, procédez comme suit :

1.

Parcourez le système de fichiers jusqu'au répertoire d'installation du plan de travail. Allez dans le répertoire workspace et ouvrez le fichier dans un éditeur externe.

2.

Modifiez le fichier.

3.

Lorsque vous avez terminé, sauvegardez le fichier dans l'éditeur externe, puis fermez l'éditeur.

4. Dans le menu contextuel de la vue Navigateur, sélectionnez Régénérer à partir de l'emplacement local. Le plan de travail vérifie alors si le système de fichiers local contient des modifications effectuées en externe dont il n'a pas eu connaissance.

Cette régénération à partir de l'emplacement local est essentiel car elle permet au plan de travail d'effectuer les "compilations/mises à jour" s'il détecte des modifications dans le système de fichiers local.