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 tasto destro del mouse sul file modificato in una delle viste Selezione e selezionare Aggiorna dal menu a comparsa. Il workbench eseguirà tutte le generazioni e le operazioni di aggiornamento necessarie per elaborare le modifiche apportate all'esterno del
workbench.
Suggerimento: se si utilizzano regolarmente editor esterni, è preferibile abilitare l'aggiornamento automatico. Ciò è possibile aprendo la pagina delle preferenze
Generale > Spazio di lavoro e selezionando l'opzione Aggiorna automaticamente. Quando questa opzione è abilitata, eventuali modifiche esterne saranno rilevate automaticamente dallo spazio di lavoro. A seconda della piattaforma, ciò potrebbe non avvenire immediatamente.

Editor
Editor esterni

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