Exportar en .mf en vez de .txt

frontendAngular4/src/app/layout/matefun/matefun.component.ts

@@ -459,13 +459,7 @@ export class MateFunComponent {
                     
                 }
             }
-
-
         }
-        
-        
-        
-
         runCode(){
 
             this.ghciService.setCodemirrorRef(this.codemirror.instance);
@@ -531,8 +525,8 @@ export class MateFunComponent {
         }
         download(filename, text) {
             var element = document.createElement('a');
-            element.setAttribute('href', 'data:text/plain;charset=utf-8,' + encodeURIComponent(text));
-            element.setAttribute('download', filename);
+            element.setAttribute('href', 'data:application/octet-stream,' + encodeURIComponent(text));
+            element.setAttribute('download', filename+ ".mf");
 
             element.style.display = 'none';
             document.body.appendChild(element);