Sur la page de préférences
Général > 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.
Option | Description | Valeur par défaut |
Compiler automatiquement | Lorsque cette option est activée, le plan de travail effectue automatiquement une génération à chaque sauvegarde d'une ressource modifiée. | Activé |
Sauvegarder automatiquement avant la génération | 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é |
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é |
Ouvrir les projets référencés à l'ouverture d'un projet | Si cette option est activée, l'ouverture d'un projet entraînera également l'ouverture et la fermeture des projets qu'il référence. Sélectionnez Invite si vous souhaitez être averti. | Invite |
Encodage du fichier texte |
Cette option permet d'indiquer le codage à utiliser lors de la sauvegarde de fichiers texte dans les éditeurs. |
Par défaut (CP1252) |
Délimiteur de ligne de fichier texte |
Utilisez cette option pour spécifier le délimiteur de ligne à utiliser pour de nouveaux fichiers texte. Remarque : de manière générale, cela n'affectera pas le délimiteur de ligne de fichier pour |
Valeur par défaut |
La page des préférences Espace de travail se présente comme suit :