<!--
Please read the "Making a PR" section of [`CONTRIBUTING.md`](https://github.com/emilk/egui/blob/master/CONTRIBUTING.md) before opening a Pull Request!
-->
Closes <https://github.com/emilk/egui/issues/THE_RELEVANT_ISSUE>.