mirror of
https://github.com/emilk/egui.git
synced 2026-06-27 15:13:12 -04:00
We never need to clone it, and none of its methods took `self` as mutable, meaning it wasn't making use of the semantic difference between the two. This API is about to get reworked, and simplifying it is a first step.