get headerbar border-radius from theme

This commit is contained in:
Ashley Wulber 2024-05-28 09:42:39 -04:00 • committed by GitHub
parent 7c3c4f3fed
commit de1c968b96
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -78,7 +78,7 @@ impl Theme {
} else { } else {
Rgba::new(0.0, 0.0, 0.0, 0.12) Rgba::new(0.0, 0.0, 0.0, 0.12)
}); });
let corner_radius = self.corner_radii.radius_s[0];
let mut inverted_bg_divider = background.base; let mut inverted_bg_divider = background.base;
inverted_bg_divider.alpha = 0.5; inverted_bg_divider.alpha = 0.5;
let scrollbar_outline = to_rgba(inverted_bg_divider); let scrollbar_outline = to_rgba(inverted_bg_divider);
@ -183,7 +183,7 @@ stack:backdrop > box > image,
}} }}
window {{ background: @window_bg_color }} window {{ background: @window_bg_color }}
window:not(.maximized) {{ window:not(.maximized) {{
border-radius: 6px; border-radius: {corner_radius:.0}px;
}} }}
window, statuspage.view {{ background: @window_bg_color }} window, statuspage.view {{ background: @window_bg_color }}