aboutsummaryrefslogtreecommitdiff
path: root/src/animation.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/animation.ml')
-rw-r--r--src/animation.ml27
1 files changed, 0 insertions, 27 deletions
diff --git a/src/animation.ml b/src/animation.ml
deleted file mode 100644
index 35294dc..0000000
--- a/src/animation.ml
+++ /dev/null
@@ -1,27 +0,0 @@
-let isRunning = ref false
-
-let start base ~onStart ~onEnd =
- if not !isRunning then
- let () = isRunning := true in
- let () = onStart () in
- let () = Element.setClassName base "g-Animation" in
- let delay = 400 in
- let _ =
- Js.Global.setTimeout
- (fun () ->
- let () = Element.setClassName base "" in
- let () = onEnd () in
- isRunning := false)
- delay
- in
- ()
- else ()
-
-let replaceChild scrollBase base mkChild =
- start base
- ~onStart:(fun _ ->
- let () = Element.setScrollTop scrollBase 0 in
- Element.appendChild base (mkChild ()))
- ~onEnd:(fun _ ->
- let _ = Element.removeFirstChild base in
- ())