From ad6abcd5fc5e4e66062c8a01b511a1bd4bda2e94 Mon Sep 17 00:00:00 2001
From: Joris
Date: Sun, 9 Aug 2020 08:37:18 +0200
Subject: Export as CSV

---
 src/Lib/File.ml | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 src/Lib/File.ml

(limited to 'src/Lib/File.ml')

diff --git a/src/Lib/File.ml b/src/Lib/File.ml
new file mode 100644
index 0000000..0089001
--- /dev/null
+++ b/src/Lib/File.ml
@@ -0,0 +1,12 @@
+let download filename content =
+  let a =
+    H.a
+      [| HA.href ("data:text/plain;charset=utf-8," ^ URI.encode content)
+      ;  HA.download filename
+      ;  HA.style "display:none"
+      |]
+      [| |]
+  in
+  let () = Element.append_child Document.body a in
+  let () = Element.click a in
+  Element.remove_child Document.body a
-- 
cgit v1.2.3