From 85b40e5712fcbe76c697d1a22fb126db8079098c Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Sun, 10 Jan 2021 22:00:38 +0100
Subject: Keep point selection after moving a point

---
 script.it/state.ml | 3 +--
 1 file changed, 1 insertion(+), 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
 
-- 
cgit v1.2.3