Spazio di lavoro

Nella pagina delle preferenze Spazio di lavoro, è possibile gestire le diverse impostazioni di preferenze dello spazio di lavoro specifiche di IDE nel workbench.

Per accedere alle seguenti preferenze sulla pagina Spazio di lavoro, selezionare Finestra > Preferenze > Generale > Spazio di lavoro.

Opzione Descrizione Valore predefinito
Genera automaticamente Se questa opzione è attivata, il workbench eseguirà una generazione automatica ogni volta che una risorsa modificata viene salvata. Attivo
Salva automaticamente prima della generazione Se questa opzione è attivata, ogni volta che si esegue una generazione manuale, il Workbench salverà automaticamente tutte le risorse modificate a partire dall'ultima generazione effettuata.
Disattivo
Intervallo di salvataggio spazio di lavoro (in minuti) Questo numero indica quanto spesso lo stato dello spazio di lavoro viene salvato automaticamente su disco. 5
Aggiorna automaticamente

Se questa opzione è attivata, le risorse dello spazio di lavoro verranno sincronizzate automaticamente con le risorse corrispondenti nel filesystem.

Nota: può trattarsi di un'operazione potenzialmente lunga a seconda del numero di risorse presenti nello spazio di lavoro.

Disattivo

La pagina delle preferenze Spazio di lavoro ha il seguente aspetto:

Finestra di dialogo Preferenze