mirror of
https://github.com/emilk/egui.git
synced 2026-08-29 04:40:03 -04:00
97a170941c
Three things a menu needs and nothing else does: * A submenu asked `Frame::menu` for its frame directly, so it ignored the theme. It now resolves the same `PopupStyle` a `Popup` does — it needs the margin itself, to place the submenu and to decide how much of the parent menu counts as hovered. * `ScrollStyle::overflow_margin` lets a scroll area's contents paint a little outside the viewport, at the ends of the scroll range where nothing could scroll into view through the gap. A menu item whose fill bleeds past its own box needs it; without it the fill is sliced. * A frameless button dropped its inner margin but kept the outer one, so its contents shifted as soon as it was hovered. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>