mirror of
https://github.com/emilk/egui.git
synced 2026-07-17 20:18:54 +00:00
5a1ab9b2b8
As mentioned in #4950 I added `max_decimals_opt` to the Slider * Closes <https://github.com/emilk/egui/issues/4950> * [x] I have followed the instructions in the PR template * [x] I ran the script in `scripts/check.sh`