adding proper Save As (with non random filename); MIT licensed

Actually seems that the proper way to save nowadays is the [download]
(https://html.spec.whatwg.org/multipage/semantics.html#attr-hyperlink-download)
attribute of a 'a' element, but that's also supported by the added
[FileSaver.js] (external/scripts/FileSaver.js)

1 files changed, 2 insertions, 0 deletions

diff --git a/index.html b/index.html
index 03245cd9..83dcc535 100644
--- a/index.html
+++ b/index.html
@@ -13,6 +13,8 @@
 
     <script src="external/scripts/jquery-ui.js"></script>
     <script src="external/scripts/autocomplete.js"></script>
+    <script src="external/scripts/FileSaver.js"></script>
+
     <script src="scripts/caret.js"></script>
 
 </head>