mirror of
https://github.com/emilk/egui.git
synced 2026-06-26 22:53:14 -04:00
* closes https://github.com/emilk/egui/issues/7812 * related https://github.com/emilk/egui/pull/7805 That pr introduced a bug that caused a mismatch in the `by_layer` / `by_id` widget rects. This should fix it by updating the index of all following widgets. Not super pretty and efficient, but I'm not sure if there's a better way. Maybe we could also just leave a "tombstone" / duplicate there in the by_layer map so we don't need to update the indexes?