Repository navigation

Keep filter menus and editors visible - #429

Merged

nicosuave merged 2 commits into

joined-model-dimensionsfrom

filter-popover-clipping

Oct 19, 2026

Merged

Keep filter menus and editors visible#429
nicosuave merged 2 commits into
joined-model-dimensionsfrom
filter-popover-clipping

Commits on Oct 19, 2026
- Keep filter popovers visible and usable
  nicosuave
  committed
  3d9b2b1
- Bound the filter strip and portal its popovers
  nicosuave
  committed
  3d21ba5