mirror of
https://github.com/emilk/egui.git
synced 2026-06-27 23:13:13 -04:00
`egui:🆔:IdSet` and `egui:🆔:IdMap` were already optimized to not do additional hashing (because the `Id` already is a hash), but now they are just type aliases for `nohash_hasher::IntSet/IntMap`. See https://crates.io/crates/nohash-hasher for more