diff options
Diffstat (limited to 'script.it/script_event/delete.ml')
| -rwxr-xr-x | script.it/script_event/delete.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script.it/script_event/delete.ml b/script.it/script_event/delete.ml index 6aac5d2..3566b8f 100755 --- a/script.it/script_event/delete.ml +++ b/script.it/script_event/delete.ml @@ -7,7 +7,7 @@ module Selection = Script_state.Selection type t = { worker : Brr_webworkers.Worker.t } (* Click anywhere while in Out mode, we switch in edition *) -let update { worker } state = +let process { worker } state = match state.State.mode with | Selection (Path id) -> let paths = List.filter |