mirror of
https://github.com/emilk/egui.git
synced 2026-07-13 01:58:53 +00:00
e49245fae5
This comes at the cost of these corners sometimes becoming badly extruded instead. The sharper the corner, the bigger the problem. A proper fix will have to wait for later. Part of https://github.com/emilk/egui/issues/1226