diff options
| -rwxr-xr-x | script.it/script.ml | 20 |
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 |