Editor di file

Dalla pagina delle preferenze degli Editor di file è possibile aggiungere o rimuovere tipi di file riconosciuti dal workbench.  È anche possibile associare editor a tipi di file nell'elenco dei tipi di file.

Elenco dei tipi di file

Finestra di dialogo per la creazione di un nuovo tipo di file:

 

Elenco degli editor associati

Finestra di dialogo per la creazione di una nuova associazione file:

 

La pagina delle preferenza degli Editor di file dovrebbe avere il seguente aspetto: