1
0
mirror of https://github.com/emilk/egui.git synced 2026-09-01 14:20:04 -04:00

Rename Marginf to MarginF32 for consistency with CornerRadiusF32 (#5677)

* [x] I have followed the instructions in the PR template
This commit is contained in:
lucasmerlin
2025-02-11 11:23:59 +01:00
committed by GitHub
parent 1c6e7b1bd0
commit 510b3cdf48
6 changed files with 56 additions and 52 deletions

View File

@@ -45,6 +45,7 @@ We don't update the MSRV in a patch release, unless we really, really need to.
* [ ] check that CI is green
## Preparation
* [ ] make sure there are no important unmerged PRs
* [ ] run `scripts/generate_example_screenshots.sh` if needed
* [ ] write a short release note that fits in a bluesky post
* [ ] record gif for `CHANGELOG.md` release note (and later bluesky post)