Editing files outside the Workbench

To edit a Workbench resource outside the Workbench:

1. Navigate in the file system to the Workbench's installation directory. Go into the workspace directory and open the file that you want to edit with the external editor.
2. Edit the file as needed. Save and close it as usual.
3. Important: Go back to the Workbench, right-click the edited file in the Navigator view, and select Refresh from the pop-up menu. The Workbench will perform any necessary build or update operations to process the changes that you made outside the Workbench.

Editors
External editors

Opening files for editing
Associating editors with file types