diff options
Diffstat (limited to 'script.it/worker_messages/worker_messages.ml')
| -rwxr-xr-x | script.it/worker_messages/worker_messages.ml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/script.it/worker_messages/worker_messages.ml b/script.it/worker_messages/worker_messages.ml index b33bb23..7efd3d3 100755 --- a/script.it/worker_messages/worker_messages.ml +++ b/script.it/worker_messages/worker_messages.ml @@ -3,7 +3,14 @@ open Js_of_ocaml type to_worker = [ | `Complete of Outline.t | `DeletePoint of (Path.Point.t * Outline.t) + + (* Update the interior path *) | `Back of Outline.t + + (* Translate a path *) + | `TranslatePath of (Outline.t * Gg.v2) + + | `TranslatePoint of (Path.Point.t * Outline.t) ] type from_worker = [ |