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-06-27 23:13:13 -04:00
Code
Activity
Files
3e89613dc1f3151ff2c720dcd351a971586aefbf
egui
/
crates
/
epaint
/
src
/
margin_f32.rs
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
6.6 KiB
Raw
Blame
History
View Raw
View Git Blame
Copy Permalink