diff options
Diffstat (limited to 'script.it/script.ml')
| -rwxr-xr-x | script.it/script.ml | 25 |
1 files changed, 13 insertions, 12 deletions
diff --git a/script.it/script.ml b/script.it/script.ml index a1857db..ba6b828 100755 --- a/script.it/script.ml +++ b/script.it/script.ml @@ -392,18 +392,19 @@ let page_main id = (* The first evaluation is the state. Which is the result of all the successives events to the initial state *) let state = - E.select - [ worker_event - ; canva_events - ; tick_event - ; angle_event - ; width_event - ; delete_event - ; export_event - ; parameters.rendering - ] - |> E.map (State.do_action worker timer) - |> Note.S.accum State.init in + Application.run + (State.do_action worker timer) + State.init + (E.select + [ worker_event + ; canva_events + ; tick_event + ; angle_event + ; width_event + ; delete_event + ; export_event + ; parameters.rendering ]) + in (* The seconde evaluation is the canva refresh, which only occurs when the mouse is updated, or on delete events *) |