diff options
| author | Joris | 2022-07-05 21:55:41 +0200 |
|---|---|---|
| committer | Joris | 2023-01-28 09:35:55 +0100 |
| commit | 063d8ef9eaf874a941f4459e831057dd0a1b7ddd (patch) | |
| tree | c4a8b27cb8fdb5d1dc26c560c7483c9593f40dac /src/Lib/Modal.ml | |
| parent | 2936f06576997bffe7903ea840df563a408efc21 (diff) | |
Rewrite in TSmain
Diffstat (limited to 'src/Lib/Modal.ml')
| -rw-r--r-- | src/Lib/Modal.ml | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/src/Lib/Modal.ml b/src/Lib/Modal.ml deleted file mode 100644 index 5db88cd..0000000 --- a/src/Lib/Modal.ml +++ /dev/null @@ -1,25 +0,0 @@ -let hide () = - let modal = Document.query_selector_unsafe "#g-Modal" in - Element.remove_child Document.body modal - -let show content = - let view = - H.div - [| HA.id "g-Modal" |] - [| H.div - [| HA.class_ "g-Modal__Curtain" - ; HE.on_click (fun _ -> hide ()) - |] - [| |] - ; H.div - [| HA.class_ "g-Modal__Window" |] - [| Button.raw - [| HA.class_ "g-Modal__Close" - ; HE.on_click (fun _ -> hide ()) - |] - [| H.div [| HA.class_ "fa fa-close" |] [| |] |] - ; content - |] - |] - in - Element.append_child Document.body view |