From 3d3ac5d05cf2851444b835b5bbc0236111f53673 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Sat, 2 Jan 2021 13:15:31 +0100 Subject: Update --- script.ml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'script.ml') diff --git a/script.ml b/script.ml index 398e4f2..3e52f5c 100755 --- a/script.ml +++ b/script.ml @@ -111,7 +111,6 @@ let set_sidebar ; v (Jstr.v "min") (Jstr.v "1") ; v (Jstr.v "max") (Jstr.v "50") ; At.value (Jstr.of_float state.width) - ; id (Jstr.v "nib_size") ] in let width = El.div [] in @@ -142,8 +141,6 @@ let set_sidebar ) ); - - let br = El.br () in let render = El.select [ El.option ~at:At.[value (Jstr.v "Fill")] @@ -153,12 +150,18 @@ let set_sidebar ; El.option ~at:At.[value (Jstr.v "Ductus")] [ txt' "Ductus"] ] in + let rendering' = El.div + [ txt' "Rendering : " + ; render ] in let () = El.append_children element [ hr () ; delete ; export + + ; rendering' + ; hr () ; width @@ -167,9 +170,6 @@ let set_sidebar ; angle ; input_angle - ; br - ; render - ] in delete_event, angle_event, nib_size_event, export_event -- cgit v1.2.3