mirror of
https://github.com/emilk/egui.git
synced 2026-06-27 15:13:12 -04:00
This addresses this comment: - https://github.com/rerun-io/rerun/pull/7344#discussion_r1742140870 * [x] I have followed the instructions in the PR template