diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-10 22:00:38 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-11 13:55:42 +0100 |
commit | 85b40e5712fcbe76c697d1a22fb126db8079098c (patch) | |
tree | 0aa2cd287f76c66b50b17c1e08fd30f59ba54a59 /editor/plugins/popin.ml | |
parent | 5ee27e786a3f1ed3eecc1e5c36f6e1e551388451 (diff) |
Keep point selection after moving a point
Diffstat (limited to 'editor/plugins/popin.ml')
0 files changed, 0 insertions, 0 deletions