Abilitare JavaScript per vedere questo sito.

Questa operazione permette di salvare il workspace corrente.

Per attivarla, selezionare da menù generale il comando Workspace/Salva workspace (o tasto rapido Ctrl+F12).

Nel caso vi siano elementi cambiati (tipo editor con modifiche pendenti , oggetti con del contenuto modificato, etc) viene visualizzata una finestra dove ne viene mostrato l'elenco con relative informazioni. Una volta attivata questa finestra:

selezionare gli elementi desiderati da salvare e premere il pulsante Salva (o tasto rapido Invio);

premere il pulsante Tralascia per continuare la chiusura senza salvare tali elementi;

premere il pulsante Annulla (o tasto rapido Esc) per annullare la chiusura del workspace corrente.

Se il salvataggio non viene annullato, a questo punto, viene effettivamente salvato il workspace sul relativo file su disco.

 

 

  

Keyboard Navigation

F7 for caret browsing
Hold ALT and press letter

This Info: ALT+q
Page Header: ALT+h
Topic Header: ALT+t
Topic Body: ALT+b
Contents: ALT+c
Search: ALT+s
Exit Menu/Up: ESC