diff options
author | Sébastien Dailly <sebastien@dailly.me> | 2022-02-07 13:43:24 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@dailly.me> | 2022-02-07 16:22:43 +0100 |
commit | 2e29673fa970b814c97d5838963de49c2a65424b (patch) | |
tree | 09d61022038ebfd392873c1a0c62e984d901d11a /script.it/script_event/mouse_down.ml | |
parent | 155fec516022d2d5a1343312792dce21f466573a (diff) |
Rename application functions
Diffstat (limited to 'script.it/script_event/mouse_down.ml')
-rwxr-xr-x | script.it/script_event/mouse_down.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script.it/script_event/mouse_down.ml b/script.it/script_event/mouse_down.ml index 98e866a..1c25a7d 100755 --- a/script.it/script_event/mouse_down.ml +++ b/script.it/script_event/mouse_down.ml @@ -4,7 +4,7 @@ module Selection = Script_state.Selection type t = { position : float * float ; timer : Elements.Timer.t } -let update { position; timer } state = +let process { position; timer } state = match state.State.mode with | Out -> |