chiark / gitweb /
Fix a UI glitch where dragging an existing arrow could change what it