Les préférences ci-dessous peuvent être modifiées dans la page Outils externes.
Option |
Description |
Valeur par défaut |
---|---|---|
Sauvegarder toutes les ressources modifiées avant d'exécuter un outil externe |
Si cette option est activée et que vous lancez un outil externe, le plan de travail sauvegarde automatiquement toutes les ressources qui ont été modifiées. |
Désactivée |
Niveau de sortie privilégié |
Le niveau de sortie sélectionné détermine le type de messages affichés sur la console. Vous pouvez sélectionner un des niveaux de sortie suivants :
|
Information |
Couleurs |
Vous pouvez affecter des couleurs aux types de sortie suivants :
|
Les valeurs par défaut sont indiquées en italique. |
Police de la console |
Vous pouvez sélectionner la police à utiliser pour la sortie console. |
Dépendant de la plateforme |
La page des préférences d'outils externes se présente comme suit :