From 2ce3e95cf6b3e28f01ac94a79e9f3b7df12aa2fb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Vuka=C5=A1in=20Vojinovi=C4=87?= Date: Tue, 5 Nov 2024 23:08:42 +0100 Subject: [PATCH] fix(app): border radius Increases the border radius by 1.0 to prevent some corner artifacts. --- src/app/mod.rs | 3 ++- src/theme/style/menu_bar.rs | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/src/app/mod.rs b/src/app/mod.rs index bfc65c19..8771a252 100644 --- a/src/app/mod.rs +++ b/src/app/mod.rs @@ -866,7 +866,8 @@ impl ApplicationExt for App { border: iced::Border { color: theme.cosmic().bg_divider().into(), width: if sharp_corners { 0.0 } else { 1.0 }, - radius: theme.cosmic().radius_s().map(|x| x + 1.0).into(), + // x + 2.0 is used to prevent corner artifacts + radius: theme.cosmic().radius_s().map(|x| x + 2.0).into(), }, ..Default::default() }); diff --git a/src/theme/style/menu_bar.rs b/src/theme/style/menu_bar.rs index 18b983fd..5acb0d09 100644 --- a/src/theme/style/menu_bar.rs +++ b/src/theme/style/menu_bar.rs @@ -69,7 +69,7 @@ impl StyleSheet for Theme { background: component.base.into(), border_width: 1.0, bar_border_radius: cosmic.corner_radii.radius_xl, - menu_border_radius: cosmic.corner_radii.radius_s, + menu_border_radius: cosmic.corner_radii.radius_s.map(|x| x + 2.0), border_color: component.divider.into(), background_expand: [1; 4], path: component.hover.into(),