AddExtensionFilter


Aggiunge un filtro sull'estensione dei files durante la conversione batch. Se attivo vengono accettati solo i files ".mi" in caso contrario tutte le estensioni.