DefMiExt
Estensioni di default che devono essere presentate durante l'operazione di creazione del file MI.
DefMiExt=mi solamente estensione mi
DefMiExt=mi;* potrò salvare con estensione MI oppure senza estensione
DefMiExt=mi;dxj;wlo potrò salvare in formato mi, dxj o wlo