diff options
| -rwxr-xr-x | script.it/dune | 4 | ||||
| -rwxr-xr-x | script.it/state.ml | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/script.it/dune b/script.it/dune index bb5ca5f..db5ba3f 100755 --- a/script.it/dune +++ b/script.it/dune @@ -28,7 +28,7 @@ (rule (targets script.js) (deps script.bc.js) - (action (run cp %{deps} %{targets}))) + (action (copy %{deps} %{targets}))) (executable (name worker) @@ -48,4 +48,4 @@ (rule (targets worker.js) (deps worker.bc.js) - (action (run cp %{deps} %{targets}))) + (action (copy %{deps} %{targets}))) diff --git a/script.it/state.ml b/script.it/state.ml index f5698ef..ad7abb3 100755 --- a/script.it/state.ml +++ b/script.it/state.ml @@ -158,7 +158,7 @@ let width worker width state = let state = { state with width } in Selection.find_selection t state.paths |> update_property worker state width Path.Point.set_width - | _ -> state + | _ -> { state with width } let angle worker angle state = match state.mode with @@ -167,7 +167,7 @@ let angle worker angle state = let state = { state with angle } in Selection.find_selection t state.paths |> update_property worker state angle Path.Point.set_angle - | _ -> state + | _ -> { state with angle } (** Short click on any element, just do nothing (each element is on MouseDown |