Dateien außerhalb der Workbench bearbeiten

So bearbeiten Sie eine Workbench-Ressource außerhalb der Workbench:

  1. 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.
  2. Bearbeiten Sie die Datei wie gewünscht. Speichern und schließen Sie die Datei.
  3. Wichtig: Wechseln Sie zurück in die Workbench, klicken Sie mit der rechten Maustaste auf die bearbeitete Datei in einer der Sichten 'Navigation'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, möchten Sie vielleicht die automatische Aktualisierung aktivieren. Dies erreichen Sie, indem Sie in den Benutzervorgabendialog wechseln (durch Auswählen des Menüelements Fenster >Benutzervorgaben), durch einzelnes Auswählen der Benutzervorgabenseite Allgemein > Workspace und markieren der Option Automatisch aktualisieren. Wenn diese Option aktualisiert worden ist, werden alle externen Änderungen automatisch durch die Workbench erkannt. Je nach der Plattform kann dies aber nicht unverzüglich geschehen.

Verwandte Konzepte
Editoren
Externe Editoren

Verwandte Tasks
Dateien zum Bearbeiten öffnen
Editoren und Dateitypen zuordnen