Skip to content

chore: sync develop with main - #544

Merged
chodeus merged 2 commits into
developfrom
main
Aug 15, 2026
Merged

chore: sync develop with main#544
chodeus merged 2 commits into
developfrom
main

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

@coderabbitai ignore

develop has drifted behind main (releases, fixes, dependency bumps). Do not merge this PR — it reports the drift, it does not fix it.

develop requires branches be up to date, and head:main can never satisfy that without pulling develop's extension files into main, which the branch invariant forbids. Squash or rebase would also leave main unreachable from develop, so this workflow would just open another PR next push.

Sync locally instead:

git checkout develop && git merge origin/main && git push

Then verify git diff main develop is added extension files plus deploy/docker/Dockerfile only. GitHub marks this PR merged on its own once develop contains main's tip. Opened by the sync-develop workflow.

…533)

Every deferred control gets an honest treatment: real 44px where rows
absorb it, 36px + a min-w-pinned expansion where density rules, and
documented leave-alones (display-only pills; a chip x whose expansion
reached the neighbouring chip's x). Selects reach a real 44px trigger —
LogFileSelect/ModuleSelect's inner select was unsized, so the true hit
area was ~16px regardless of wrapper. SegmentedControl gains min-w-11 so
its expansion can never spill horizontally for any schema label; the
gap-0.5 track is safe by construction. Poster-card action bars wrap
instead of silently clipping at md/lg widths.
@chodeus
chodeus merged commit b3bed88 into develop Aug 15, 2026
26 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant