Daniel Dimitrov 0bb09d0b13 Hole: an option to put the holes one Hole command makes into a History folder (#12492) (#12493) ...

* Hole: an option to put the holes one Hole command makes into a folder (#12492)

Preferences > Tools > Hole > Group holes made together (hole_group, off by
default). With it on, when one Hole OK makes two or more holes, they go
into a feature folder named "Holes" in History, closed at first; opened,
each hole is edited on its own as before. A lone hole and an edit make no
folder, and holes added inside a folder get their folder there.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

* Hole: a new Holes folder starts folded through the History's fold state

Since the History keeps each design's folds (#8886), fold the new folder
with timeline_folders::set_open instead of the browser's collapsed set.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

* Hole: add several placements on one face

---------

Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>

2026-11-08 00:59:31 +00:00

..

preferences

Hole: an option to put the holes one Hole command makes into a History folder (#12492) (#12493)

2026-11-08 00:59:31 +00:00

ux-redesign

docs: ribbon redesign proposal (#1439)

2026-10-17 11:36:43 -04:00

in-app-agent-chat.md

Assistant: discover Mistral Vibe and offer sign-in (#11692) (#11704)

2026-11-04 18:38:05 +00:00

persistent-naming-proposal.md

Persistent naming: a proposal from a second implementation (#7990)

2026-10-30 04:17:54 +00:00