Le preferenze riportate di seguito possono essere modificate nella pagina Strumenti esterni.
|
Opzione |
Descrizione |
Impostazione predefinita |
|---|---|---|
|
Salva tutte le risorse modificate prima di eseguire uno strumento esterno |
Se questa opzione č attivata, ogni volta che si esegue uno strumento esterno il Workbench salverā automaticamente tutte le risorse modificate. |
Off |
|
Livello di output preferito |
Il livello di output selezionato determina il tipo di messaggi visualizzati nella console. E possibile selezionare uno dei seguenti livelli di output:
|
Informazioni |
|
Colori |
E possibile assegnare colori ai seguenti tipi di output:
|
I valori predefiniti vengono mostrati in corsivo |
|
Tipo di carattere della console |
E possibile selezionare il tipo di carattere da utilizzare per l'output della console. |
Dipendente dalla piattaforma |
La pagina delle preferenze Strumenti esterni ha il seguente aspetto: