Skip to content

Conversation

@emilk
Copy link
Owner

@emilk emilk commented Nov 17, 2025

@emilk emilk added egui style visuals and theming labels Nov 17, 2025
@github-actions
Copy link

github-actions bot commented Nov 17, 2025

Preview available at https://egui-pr-preview.github.io/pr/7725-emilkno-clip-rect-margin
Note that it might take a couple seconds for the update to show up after the preview_build workflow has completed.

View snapshot changes at kitdiff

@emilk emilk changed the base branch from main to emilk/scroll-area-margin November 17, 2025 04:17
@emilk emilk added the do-not-merge Do not merge yet, but you can still review it label Nov 17, 2025
Base automatically changed from emilk/scroll-area-margin to main November 18, 2025 14:30
@emilk emilk force-pushed the emilk/no-clip-rect-margin branch from 3e634f4 to d17aa52 Compare November 18, 2025 14:31
@emilk emilk marked this pull request as draft November 18, 2025 14:39
@emilk
Copy link
Owner Author

emilk commented Nov 19, 2025

Oops - the windows headers shrunk… a lot. Good with screenshot tests 😅

@emilk
Copy link
Owner Author

emilk commented Nov 21, 2025

Oh no… I need to do the resize-corner interaction on top of the scroll area, or they will fight with each-other

@emilk emilk force-pushed the emilk/no-clip-rect-margin branch from d17aa52 to 9205500 Compare December 22, 2025 17:58
@emilk
Copy link
Owner Author

emilk commented Dec 22, 2025

I also need to tweak should_prioritize_hits_on_back… or change the size of the resize corner or something.

@emilk emilk force-pushed the emilk/no-clip-rect-margin branch 5 times, most recently from 4ba0fdf to 60a01c0 Compare December 22, 2025 21:02
@emilk emilk removed the do-not-merge Do not merge yet, but you can still review it label Dec 22, 2025
@emilk emilk force-pushed the emilk/no-clip-rect-margin branch from 60a01c0 to 7477492 Compare December 22, 2025 21:17
@emilk emilk force-pushed the emilk/no-clip-rect-margin branch from 7477492 to c9980b0 Compare December 22, 2025 21:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

egui style visuals and theming

Projects

None yet

Development

Successfully merging this pull request may close these issues.

ScrollAreas can overrun their container's margins

3 participants