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