This website requires JavaScript.
Explore
Help
Sign In
migrations
/
egui
Watch
1
Star
0
Fork
0
You've already forked egui
mirror of
https://github.com/emilk/egui.git
synced
2026-08-30 05:10:03 -04:00
Code
Activity
3,753
Commits
172
Branches
65
Tags
5941a27ed4c24384dad36b3083e98216a2e290bf
Commit Graph
1 Commits
Author
SHA1
Message
Date
lucasmerlin
510b3cdf48
Rename
Marginf
to
MarginF32
for consistency with
CornerRadiusF32
(
#5677
)
...
* [x] I have followed the instructions in the PR template
2025-02-11 11:23:59 +01:00