diff options
| -rwxr-xr-x | script.it/state.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/script.it/state.ml b/script.it/state.ml index 107a72b..c147c2c 100755 --- a/script.it/state.ml +++ b/script.it/state.ml @@ -307,8 +307,7 @@ let do_action (fun p -> post worker (`Complete p)) (Path.Fixed.replace_point path point') ); - - { state with mode = Selection (Path id) } + { state with mode = Selection (Point (id, point')) } | `Delete, _ -> delete state worker |