Con Workspace Navigator (WN), è possibile modificare le proprietà di un etichetta o una versione.
Per cambiare versione/proprietà etichetta:
1. Aprire un progetto su cui si desidera lavorare. In Workspace Navigator selezionare un'etichetta o versione su cui si desidera modificare le proprietà.
2. Procedere come segue:
-- Selezionare il comando Progetto-->Proprietà dal menu principale,
-- Fare clic con il pulsante destro del mouse sull'elemento selezionato e scegliere Proprietà dal menu a scelta rapida di WN.
Il sistema visualizza la finestra Proprietà superficie e versioni superficie.
3. Fare clic su Ok per terminare l'operazione. Fare clic su Annulla per interromperla.