Opzioni, Editor di testo, Estensione di file
La finestra di dialogo Opzioni consente di specificare il modo in cui tutti i file con determinate estensioni verranno gestiti nell'ambiente di sviluppo integrato (IDE) di Visual Studio. Per ogni estensione è possibile selezionare uno strumento di modifica. In questo modo è possibile scegliere l'editor dell'IDE o la finestra di progettazione in cui verranno aperti i documenti di un determinato tipo. Per visualizzare queste opzioni, scegliere Opzioni dal Strumenti, espandere il nodo Editor di testo e selezionare Estensione di file.
Quando si seleziona un'opzione "con codifica", ogni volta che si apre un documento del tipo specifico viene visualizzata una finestra di dialogo che consente di selezionare uno schema di codifica per il documento. Ciò può rivelarsi utile se si preparano versioni dei documenti di progetto da usare in piattaforme diverse o con lingue di destinazione diverse.
Elenco degli elementi di interfaccia
Estensione
Digitare l'estensione di file di cui si vuole definire lo strumento di modifica nell'IDE.
Editor
Selezionare la finestra di progettazione o l'editor dell'IDE in cui verranno aperti i documenti con l'estensione di file specificata. Quando si seleziona un'opzione "con codifica", ogni volta che si apre un documento di questo tipo viene visualizzata una finestra di dialogo che consente di selezionare uno schema di codifica.
Aggiunta
Aggiunge una voce che include l'Estensione e lo Strumento di modifica specificati all'elenco delle estensioni.
Rimuovi
Elimina la voce selezionata dall'elenco delle estensioni.
Elenco estensioni
Include tutte le estensioni per cui è stato specificato uno strumento di modifica.
Associa file senza estensione a
Selezionare questa opzione se si vuole specificare come devono essere gestiti nell'IDE i file senza estensione.
Extensionless file options (Opzioni per file senza estensione)
Visualizza lo stesso elenco di Editor. Selezionare la finestra di progettazione o l'editor dell'IDE in cui verranno aperti i documenti senza estensione di file.