Auf der Seite "Externe Tools" können Sie die folgenden Benutzervorgaben ändern.
|
Option |
Beschreibung |
Standardwert |
|---|---|---|
|
Alle geänderten Ressourcen vor dem Ausführen eines externen Tools speichern |
Wenn diese Option aktiviert ist, werden bei jeder Ausführung eines externen Tools automatisch alle geänderten Ressourcen von der Workbench gespeichert. |
Inaktiviert |
|
Bevorzugte Ausgabestufe |
Die ausgewählte Ausgabestufe legt fest, welche Nachrichtenarten in der Konsole angezeigt werden. Sie können eine der folgenden Ausgabestufen auswählen:
|
Informationen |
|
Farben |
Sie können den folgenden Ausgabearten Farben zuordnen.
|
Standardwerte werden kursiv angezeigt |
|
Konsolenschriftart |
Sie können die Schriftart für die Ausgabe der Konsole auswählen. |
Plattformabhängig |
Die Benutzervorgabenseite "Externe Tools" sieht etwa so aus: