โ– humdrum codex / glint v1.0.2
license AGPL-3.0

โ† issues

TASK-027 Mouse drag-select in the editor

๐Ÿ Done feature priority: medium release-1

created 2026-06-29 23:21 ยท updated 2026-06-30 04:40

Description

Implement in-app text selection by mouse: press to anchor, drag (MouseActionMotion) to extend, release to finish โ€” mirroring Shift+arrow selection (respects soft-wrap via MoveToVisual). Currently handleMouse only moves the cursor on left click; there is no drag handling. Also fix the docs/help which already list mouse select as if it works (README Keys table + any in-app help).

Acceptance Criteria

Implementation Plan

  1. RED+GREEN editor mouse-select methods: MouseAnchor(vi,col)=MoveToVisual+ClearSelection; MouseExtendTo(vi,col)=startSelection+MoveToVisual (anchor persists across motions). 2. app.handleMouse: Press->MouseAnchor; Motion->MouseExtendTo; plain click no drag leaves no selection. 3. Docs README+help.go mouse drag-select.