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: