mirror of
https://github.com/emilk/egui.git
synced 2026-08-29 04:40:03 -04:00
`ScrollArea` read `ui.spacing().scroll` directly, so the only way to change how one scrolls was to mutate the ambient style around it — which is what `Popup` did for `overflow_margin`. It now resolves a `ScrollAreaStyle` once per pass, and the builder methods override that. This lets a theme turn on full bleed for the scroll areas it wants it for, so `PopupStyle::scroll_overflow_margin` and the ambient mutation both go. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>