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 der Sicht "Navigator", 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.

Editoren
Externe Editoren

Dateien zum Bearbeiten öffnen
Editoren und Dateitypen zuordnen