Repository navigation

A group can be pinned to the top - #170

Merged

endrix merged 10 commits into

mainfrom

feat/pinned-groups

Nov 12, 2026

Merged

A group can be pinned to the top#170
endrix merged 10 commits into
mainfrom
feat/pinned-groups

Commits on Nov 12, 2026
- feat: an edge can end at a group, and a group can loop
  endrix
  committed
  02b08ad
- feat: a group can be laid out in rows
  endrix
  committed
  d4a9e61
- fix: what the review of edges ending at a group found
  endrix
  committed
  2c59dbc
- Merge the reviewed frame ends into rows in a group
  endrix
  committed
  96c9e92
- Merge main (edges ending at a group, #168) into rows in a group
  endrix
  committed
  5bf074b
- feat: a group can be pinned to the top
  endrix
  committed
  9a8a5a7
- fix: what the review of rows in a group found
  endrix
  committed
  6048d26
- Merge the reviewed rows into pinned groups
  endrix
  committed
  d74dd64
- Merge main (rows in a group, #169) into pinned groups
  endrix
  committed
  3e5fadd
- fix: the pinned band clears the diagram's highest route, and a nested group is not pinned
  endrix
  committed
  ca34deb