Skip to content

Measure stream layout child heights at the width they are given - #114

Merged
trissim merged 1 commit into
mainfrom
fix/native-stream-content-width-20261008
Oct 8, 2026
Merged

trissim merged 1 commit into
mainfrom
fix/native-stream-content-width-20261008

Conversation

@trissim

@trissim trissim commented Oct 8, 2026 •

Copy link
Copy Markdown

StreamLayout measured a child's content height using the container width minus the child's gutter, but placed the child at the container width minus its horizontal margins. With margins, the text was wrapped for a wider box than the one assigned. In stream.py, the child width is now computed once from the margins, and the height is measured at that width minus the gutter, never below zero. Only that file changes.

@trissim
trissim marked this pull request as ready for review October 8, 2026 04:10
Copilot AI balanced review requested due to automatic review settings October 8, 2026 04:10

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

@trissim
trissim merged commit e0a2dfe into main Oct 8, 2026
0 of 22 checks passed
@trissim trissim changed the title Measure stream height at its assigned content width Measure stream layout child heights at the width they are given Oct 11, 2026
@trissim
trissim deleted the fix/native-stream-content-width-20261008 branch October 11, 2026 20:05
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.

2 participants