Strumenti esterni

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
  • Attivo
  • Debug

Informazioni

Colori

E possibile assegnare colori ai seguenti tipi di output:

  • Errore (rosso)
  • Avviso (arancione)
  • Informazioni (blu)
  • Dettagliato (verde)
  • Debug (nero)

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: 

Pagina delle preferenze Strumenti esterni

Argomenti correlati
Strumenti esterni

 
Copyright IBM Corporation e altri 2000, 2002