egui: bump to 0.31.1

This commit is contained in:
William Casarin
2025-03-17 18:05:01 -07:00
parent beece0eb95
commit 2d801408b2
12 changed files with 573 additions and 559 deletions

View File

@@ -143,7 +143,7 @@ fn show_profile_card(
frame = frame.stroke(ui.visuals().noninteractive().fg_stroke);
}
frame
.rounding(8.0)
.corner_radius(8.0)
.inner_margin(8.0)
.show(ui, |ui| {
ui.horizontal(|ui| {