aboutsummaryrefslogtreecommitdiff
path: root/state.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-01-02 13:15:31 +0100
committerSébastien Dailly <sebastien@chimrod.com>2021-01-02 13:15:31 +0100
commit3d3ac5d05cf2851444b835b5bbc0236111f53673 (patch)
tree6bd04bec178f9469e06277920aaa07bcf2d10956 /state.ml
parent7bb561f31e0ee57a388032b760b7db943dd6b36c (diff)
Update
Diffstat (limited to 'state.ml')
-rwxr-xr-xstate.ml7
1 files changed, 2 insertions, 5 deletions
diff --git a/state.ml b/state.ml
index 52fe5a6..5a1ef8f 100755
--- a/state.ml
+++ b/state.ml
@@ -12,9 +12,6 @@ type mode =
| Selection of int
| Out
-type current = Path.Path_Builder.t
-
-
(** Events *)
type canva_events =
[ `Click of float * float
@@ -41,7 +38,7 @@ type events =
type state =
{ mode : mode
; paths : Path.Fixed.t list
- ; current : current
+ ; current : Path.Path_Builder.t
; width : float
; angle : float
}
@@ -97,7 +94,7 @@ let update_selection id state f =
| false -> path
| true -> Path.Fixed.map_point path f
) in
- { state with paths}
+ { state with paths }
let do_action
: events -> state -> state