Questa operazione permette di creare un nuovo workspace, chiudendo quello attualmente in uso.

Per attivarla, selezionare da menù generale il comando Workspace/Nuovo workspace....

Attivata l'operazione, verrà visualizzata una finestra di richiesta creazione workspace nella quale occorre specificare le informazioni necessarie, che genericamente comprendono:

•Selezione del wizard di creazione.

•Selezione della cartella di base del workspace.

•Selezione nome del workspace.

•Descrizione (opzionale) del workspace

Confermare la creazione del nuovo workspace premendo Crea (o tasto rapido Invio), oppure annullare l'operazione premendo Annulla (o tasto rapido Esc).

Se la cartella workspace non esiste, essa viene creata in modo automatico.

Se il file di workspace già esiste, verrà richiesta la conferma alla sua sostituzione: alla richieste, premere Si (o tasto rapido S) per sostituire il workspace, oppure premere No (o tasto rapido N) per annullare l'operazione in corso e tornare alla finestra di creazione workspace.

ATTENZIONE: prima che il workspace venga caricato, verrà richiesta l'eventuale chiusura del workspace corrente, se è stato modificato: se esso non viene chiuso, il nuovo workspace non verrà creato.

Annotazioni

La cartella di base per la creazione dei nuovi workspace è %USERPROFILE%/Robox/Rde3/Workspaces/.

Per cambiare la cartella di base del workspace, premere l'icona (o tasto rapido F4 sul campo), quindi scegliere una cartella desiderata.

Per non creare il nuovo workspace in una sotto cartella, disabilitare l'opzione Creare cartella specifica.

E' comunque possibile, in seguito, rinominare a piacere sia la cartella del workspace sia il nome del file di workspace.