On the
General > Workspace
preference page, you can manage
various IDE-specific workspace preferences settings in the Workbench.
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 |
Aprire i progetti di riferimento quando è aperto un progetto | If this option is enabled opening a project will also open and closed projects it references. Select prompt if you wish to be asked first. | Richiedi |
Codifica file di testo |
Scegliere questa opzione per specificare la codifica da utilizzare durante il salvataggio dei file di testo negli editor. |
Impostazione predefinita (CP1252) |
Delimitatore riga del file di testo |
Utilizzare questa opzione per specificare il delimitatore di riga da utilizzare per i nuovi file di testo. Nota: in genere questa opzione non modifica il delimitatore di riga per i |
Impostazione predefinita |
La pagina delle preferenze Spazio di lavoro ha il seguente aspetto: