migrations/egui
1
0
Fork 0
mirror of https://github.com/emilk/egui.git synced 2026-08-31 13:50:04 -04:00
Code Activity

⚠️ Rename Rounding to CornerRadius (#5673)

Browse Source 
Breaking change!

* `Rounding` -> `CornerRadius`
* `rounding` -> `corner_radius`

This is to:
* Clarify
* Conform to other systems (e.g. Figma)
* Avoid confusion with `GuiRounding`
This commit is contained in:
Emil Ernerfeldt
2025-02-04 12:53:18 +01:00
committed by GitHub
parent 3c07e01d08
commit 23ed49334e
44 changed files with 378 additions and 330 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
crates/egui_extras/src/layout.rs
View File

@@ -128,7 +128,7 @@ impl<'l> StripLayout<'l> {
if flags.striped {
self.ui.painter().rect_filled(
gapless_rect,
egui::Rounding::ZERO,
egui::CornerRadius::ZERO,
self.ui.visuals().faint_bg_color,
);
}
@@ -136,7 +136,7 @@ impl<'l> StripLayout<'l> {
if flags.selected {
self.ui.painter().rect_filled(
gapless_rect,
egui::Rounding::ZERO,
egui::CornerRadius::ZERO,
self.ui.visuals().selection.bg_fill,
);
}
@@ -144,7 +144,7 @@ impl<'l> StripLayout<'l> {
if flags.hovered && !flags.selected && self.sense.interactive() {
self.ui.painter().rect_filled(
gapless_rect,
egui::Rounding::ZERO,
egui::CornerRadius::ZERO,
self.ui.visuals().widgets.hovered.bg_fill,
);
}