Modifica di file all'esterno del workbench
Per modificare una risorsa all'esterno del workbench:
- Ricercare nel file system la directory di installazione del workbench. Entrare nella
directory dello spazio 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 vista Selezione e selezionare Aggiorna dal menu di scelta rapida. Il workbench eseguirą tutte le generazioni 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 a tipi di file