From 77a72cec1ee38321fe796a9f6d96f08cee577e7e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Thu, 26 Oct 2023 15:17:45 +0200 Subject: [PATCH] barLevel: Stop capping border-width at 1 pixel I can't think of a reason why limiting the border to a maximum would make any sense. The original intention was probably to set a minimum border width to avoid having to deal with border/no-border complexity in the code, but as cairo accepts a line width of 0, it just works. However limiting the size to the overall height seems reasonable, as at that size a bigger height and different fill color can achieve the same effect without requires special handling of other values like the radius. Part-of: --- js/ui/barLevel.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/js/ui/barLevel.js b/js/ui/barLevel.js index 66e333899..ba6bf1d50 100644 --- a/js/ui/barLevel.js +++ b/js/ui/barLevel.js @@ -110,7 +110,7 @@ export const BarLevel = GObject.registerClass({ let barLevelActiveColor = themeNode.get_color('-barlevel-active-background-color'); let barLevelOverdriveColor = themeNode.get_color('-barlevel-overdrive-color'); - let barLevelBorderWidth = Math.min(themeNode.get_length('-barlevel-border-width'), 1); + let barLevelBorderWidth = Math.min(themeNode.get_length('-barlevel-border-width'), barLevelHeight); let [hasBorderColor, barLevelBorderColor] = themeNode.lookup_color('-barlevel-border-color', false); if (!hasBorderColor)