Dateien außerhalb der Workbench bearbeiten
So bearbeiten Sie eine Workbench-Ressource außerhalb der Workbench:
- Navigieren Sie im Dateisystem auf das Installationsverzeichnis der
Workbench. Wechseln Sie in das Arbeitsbereichsverzeichnis, und öffnen Sie die
Datei, die Sie bearbeiten wollen, mit dem externen Editor.
- Bearbeiten Sie die Datei wie gewünscht. Speichern und schließen Sie die Datei.
- Wichtig: Wechseln Sie zurück in die Workbench, klicken Sie mit der rechten Maustaste auf die
bearbeitete Datei in einer der Navigationssichten, und wählen Sie im Kontextmenü Aktualisieren aus. Die Workbench führt alle erforderlichen Erstellungs- und Aktualisierungsoperationen aus, um die
außerhalb der Workbench vorgenommenen Änderungen zu verarbeiten.
Tipp: Wenn Sie regelmäßig mit externen Editoren arbeiten, kann es sinnvoll sein, die automatische Aktualisierung zu aktivieren. Hierzu öffnen Sie die Benutzervorgabenseite
Allgemein > Arbeitsbereich und wählen die Option
Automatisch aktualisieren aus. Wenn diese Option aktiviert worden ist, werden alle externen Änderungen automatisch durch die Workbench erkannt. Je nach der Plattform kann dies aber nicht unverzüglich geschehen.

Editoren
Externe Editoren

Dateien zum Bearbeiten öffnen
Editoren und Dateitypen zuordnen