Merge pull request #1305 from anthonyhab/feat/bar-margin-percentage-to-pixel

feat: convert bar margins from percentages to pixels
This commit is contained in:
Lemmy
2026-01-08 20:54:33 -05:00
committed by GitHub
17 changed files with 66 additions and 37 deletions
+1 -1
View File
@@ -427,7 +427,7 @@ Variants {
let base = Style.marginM;
if (Settings.data.bar.position === position) {
const isVertical = position === "top" || position === "bottom";
const floatExtra = Math.ceil(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) : 0);
return Style.barHeight + base + floatExtra;
}
return base;