Espace de travail

Dans la page des préférences Espace de travail, vous pouvez gérer différents paramètres de préférences de l'espace de travail spécifiques à l'environnement IDE dans le plan de travail.

Les préférences suivantes sont accessibles sur la page de l'espace de travail en sélectionnant Fenêtre > Préférences > Général > Espace de travail.

Option Description Valeur par défaut
Compiler automatiquement Lorsque cette option est activée, le plan de travail effectue automatiquement une compilation à chaque sauvegarde d'une ressource modifiée. Activée
Sauvegarder automatiquement avant la compilation Si cette option est sélectionnée et que vous procédez à une génération manuelle, le plan de travail sauvegarde automatiquement toutes les ressources qui ont été modifiées depuis la dernière génération.
Désactivée
Intervalle de sauvegarde du plan de travail (en minutes) Ce nombre indique la fréquence à laquelle l'état de l'espace travail est automatiquement sauvegardé sur le disque. 5
Régénérer automatiquement

Si cette option est activée, les ressources d'espace de travail vont être synchronisées automatiquement avec leurs ressources correspondantes dans le système de fichiers.

Remarque : cette opération peut éventuellement prendre du temps, en fonction du nombre de ressources figurant dans votre espace de travail.

Désactivé

La page des préférences Espace de travail se présente comme suit :

Boîte de dialogue Préférences