mirror of
https://github.com/emilk/egui.git
synced 2026-06-26 22:53:14 -04:00
9e95b9ca50
* Part of https://github.com/emilk/egui/issues/5605 This changes the default style of egui. The problem with "expanding" widgets is that they now want to paint outside their own bounds, which then requires all parent UIs to have proper margins. It also means hovered things are no longer properly aligned with every other widget.