Modifica di file all'esterno del Workbench
Per modificare una risorsa del Workbench all'esterno di esso:
- Ricercare nel file system la directory di installazione del Workbench. Entrare nella
directory dell'area di lavoro e aprire il file che si desidera modificare con l'editor
esterno.
- Modificare il file. Salvarlo e chiuderlo come di consueto.
- Importante: ritornare nel Workbench, fare clic con il pulsante destro del mouse sul file modificato nella visualizzazione Navigator e selezionare Aggiorna dal menu di scelta rapida. Il Workbench eseguirą tutte le build e le operazioni di aggiornamento necessarie per elaborare le modifiche apportate all'esterno del
Workbench.
Editor
Editor esterni

Apertura di file da modificare
Associazione di editor con tipi di file