mirror of
https://github.com/emilk/egui.git
synced 2026-06-27 15:13:12 -04:00
limit margin value in `settings.ui()`. Issues: If the `window margin` of `settings.ui()` becomes -10.0 or less, a panic occurs.
limit margin value in `settings.ui()`. Issues: If the `window margin` of `settings.ui()` becomes -10.0 or less, a panic occurs.