diff options
Diffstat (limited to 'script.ml')
-rwxr-xr-x | script.ml | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -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 |