Изменить 'ace/index.html'

ace/index.html

@@ -100,7 +100,8 @@
             });
 
             function save() {
-                alert("not yet implemented");
+                var file = prompt("Name the file:", "text.txt");
+                download(file, editor.getSession().getValue());
             }
 
             editor.commands.addCommand({
@@ -139,6 +140,19 @@
                 }
             }
           
+            function download(filename, text) {
+                var element = document.createElement('a');
+                element.setAttribute('href', 'data:text/plain;charset=utf-8,' + encodeURIComponent(text));
+                element.setAttribute('download', filename);
+
+                element.style.display = 'none';
+                document.body.appendChild(element);
+
+                element.click();
+
+                document.body.removeChild(element);
+            }
+          
             window.editor = editor;
           
         </script>