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 :