blob: 0089001cbbe2af700ffe77f197fd6cd47800b139 (
plain)
1
2
3
4
5
6
7
8
9
10
11
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
|
