From d912828b3300625c0f628b0a790354a6f83051e4 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Thu, 8 Apr 2021 20:28:18 +0200
Subject: Minor change

---
 script.it/script.ml | 20 +++++++++-----------
 1 file 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
-- 
cgit v1.2.3