Espace de travail

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
les fichiers existants.

Valeur par défaut

 

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

Boîte de dialogue Préférences