From 624e2fcfc11192515573a9591829426639e46ac0 Mon Sep 17 00:00:00 2001 From: Juan Campa Date: Sun, 16 Jan 2022 16:04:11 -0500 Subject: [PATCH] Follow style for corner radius for SelectableLabel --- egui/src/containers/collapsing_header.rs | 9 ++++++--- egui/src/widgets/selected_label.rs | 9 ++++++--- 2 files changed, 12 insertions(+), 6 deletions(-) diff --git a/egui/src/containers/collapsing_header.rs b/egui/src/containers/collapsing_header.rs index 66c6b213..0a1a31dd 100644 --- a/egui/src/containers/collapsing_header.rs +++ b/egui/src/containers/collapsing_header.rs @@ -331,9 +331,12 @@ impl CollapsingHeader { { let rect = rect.expand(visuals.expansion); - let corner_radius = 2.0; - ui.painter() - .rect(rect, corner_radius, visuals.bg_fill, visuals.bg_stroke); + ui.painter().rect( + rect, + visuals.corner_radius, + visuals.bg_fill, + visuals.bg_stroke, + ); } { diff --git a/egui/src/widgets/selected_label.rs b/egui/src/widgets/selected_label.rs index bf08b41c..8ddb5c2e 100644 --- a/egui/src/widgets/selected_label.rs +++ b/egui/src/widgets/selected_label.rs @@ -64,9 +64,12 @@ impl Widget for SelectableLabel { if selected || response.hovered() || response.has_focus() { let rect = rect.expand(visuals.expansion); - let corner_radius = 2.0; - ui.painter() - .rect(rect, corner_radius, visuals.bg_fill, visuals.bg_stroke); + ui.painter().rect( + rect, + visuals.corner_radius, + visuals.bg_fill, + visuals.bg_stroke, + ); } text.paint_with_visuals(ui.painter(), text_pos, &visuals);