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: