Rectangle manipulation reticles #123

Open
opened 2025-06-30 15:24:40 +02:00 by riki · 0 comments
Owner

Introduce a pair of reticles that allows for selecting and manipulating a rectangular selection:

selectRect
  then : \rectangle -> continuation
  -> reticle

editRect
  r : rect
  then : \rectangle -> continuation
  -> reticle
  • selectRect allows the user to pick a rectangular area out of nothing. The selected rectangular area is passed back to the brush as a rectangle shape.
  • editRect allows the user to edit an existing rectangular area. Once editing is complete, the final rectangular area is passed back to the brush as a rectangle shape.

Either of these functions return a continuation, which is a short way of saying "another reticle, a scribble, or a list containing one or more scribbles and at most one reticle".

Introduce a pair of reticles that allows for selecting and manipulating a rectangular selection: ```haku selectRect then : \rectangle -> continuation -> reticle editRect r : rect then : \rectangle -> continuation -> reticle ``` - `selectRect` allows the user to pick a rectangular area out of nothing. The selected rectangular area is passed back to the brush as a rectangle shape. - `editRect` allows the user to edit an existing rectangular area. Once editing is complete, the final rectangular area is passed back to the brush as a rectangle shape. Either of these functions return a `continuation`, which is a short way of saying "another reticle, a scribble, or a list containing one or more scribbles and at most one reticle".
riki added the
goal/wie
area/haku
area/frontend
labels 2025-06-30 15:31:35 +02:00
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: riki/rkgk#123
No description provided.