A lightweight programming environment for desktop and mobile devices

slightly strange way to move points

Hover mouse on a point, hit a hotkey (C-v), then move mouse without clicking, and click to finalize.

The hotkey is like a pointer tool, except you have to already be at the thing you want to erase. And it's slightly inconvenient to move multiple points one by one.

In the process I also fixed a bug: keychord clauses should always specify the mouse button state.

Created by  Kartik K. Agaram  on May 15, 2022
WDWXNW7VH57W6KXBNXFV6NPIO5RUS7Q6QNGGI4R6HWIRXLYI5NSAC
Change contents