Bar: ceil all floating margins and increase the exclusion zone by one extra pixel to avoid potential cut-off.

This commit is contained in:
ItsLemmy
2025-12-07 08:17:19 -05:00
parent e0db795506
commit 35e7e34ebf
9 changed files with 24 additions and 24 deletions
+1 -1
View File
@@ -419,7 +419,7 @@ Variants {
let base = Style.marginM;
if (Settings.data.bar.position === position) {
const isVertical = position === "top" || position === "bottom";
const floatExtra = Settings.data.bar.floating ? (isVertical ? Settings.data.bar.marginVertical : Settings.data.bar.marginHorizontal) * Style.marginXL : 0;
const floatExtra = Math.ceil(Settings.data.bar.floating ? (isVertical ? Settings.data.bar.marginVertical : Settings.data.bar.marginHorizontal) * Style.marginXL : 0);
return Style.barHeight + base + floatExtra;
}
return base;