aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-04-08 20:28:18 +0200
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 16:01:12 +0100
commitd912828b3300625c0f628b0a790354a6f83051e4 (patch)
tree6cefd29957ce38386a8ca71ab691b9e177245173
parent8a5d201ce47b7a7ffcdf66f73187f721e6e44732 (diff)
Minor change
-rwxr-xr-xscript.it/script.ml20
1 files changed, 9 insertions, 11 deletions
diff --git a/script.it/script.ml b/script.it/script.ml
index 73e5ac3..a1857db 100755
--- a/script.it/script.ml
+++ b/script.it/script.ml
@@ -90,25 +90,23 @@ let set_sidebar
: El.t -> State.state -> _ param_events * slider * slider
= fun element state ->
- let open El in
-
let delete =
- button
+ El.button
[ El.i
~at:At.[ class' (Jstr.v "fas")
; class' (Jstr.v "fa-times-circle") ]
[]
- ; txt' "Delete "] in
+ ; El.txt' "Delete "] in
let delete_event = click_event delete in
let export =
- button
+ El.button
[ El.i
~at:At.[ class' (Jstr.v "fas")
; class' (Jstr.v "fa-download") ]
[]
- ; txt' "Download"] in
+ ; El.txt' "Download"] in
let export_event = click_event export in
let nib_size, nib_size_event =
@@ -140,13 +138,13 @@ let set_sidebar
let render =
El.select
[ El.option ~at:At.[value (Jstr.v "1")]
- [ txt' "Fill"]
+ [ El.txt' "Fill"]
; El.option ~at:At.[value (Jstr.v "3")]
- [ txt' "Ductus"]
+ [ El.txt' "Ductus"]
] in
let rendering' = El.div
- [ txt' "Rendering : "
+ [ El.txt' "Rendering : "
; render ] in
let render_event =
@@ -163,13 +161,13 @@ let set_sidebar
let () =
El.append_children element
- [ hr ()
+ [ El.hr ()
; delete
; export
; rendering'
- ; hr ()
+ ; El.hr ()
; width
; nib_size