From bdb0fc6b141ffb0c28ce3c4e67dfd05ff56a7147 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jonas=20Dre=C3=9Fler?= Date: Tue, 16 Jan 2024 21:47:55 +0100 Subject: [PATCH] appDisplay: Don't add row and column spacing to the pagePadding We use the pagePadding to adjust for the large indicators that we add on the left and right of the appGrid. While the original padding needs to be applied to the padding for the indicators (as it was in super.vfunc_style_changed already), there's no reason to add an extra row and column spacing to the pagePadding on all sides, so remove that. Part-of: --- js/ui/appDisplay.js | 5 ----- 1 file changed, 5 deletions(-) diff --git a/js/ui/appDisplay.js b/js/ui/appDisplay.js index aca6002eb..f107c44e9 100644 --- a/js/ui/appDisplay.js +++ b/js/ui/appDisplay.js @@ -173,13 +173,8 @@ export const AppGrid = GObject.registerClass({ _updatePadding() { const node = this.get_theme_node(); - const {rowSpacing, columnSpacing} = this.layoutManager; const padding = this._indicatorsPadding.copy(); - padding.left += rowSpacing; - padding.right += rowSpacing; - padding.top += columnSpacing; - padding.bottom += columnSpacing; ['top', 'right', 'bottom', 'left'].forEach(side => { padding[side] += node.get_length(`page-padding-${side}`); });