brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

appDisplay: Don't add row and column spacing to the pagePadding

Browse Source 
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: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3278>
This commit is contained in:
Jonas Dreßler 2024-01-16 21:47:55 +01:00 committed by Marge Bot
parent 9bf550da88
commit bdb0fc6b14
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
js/ui/appDisplay.js
View File

@ -173,13 +173,8 @@ export const AppGrid = GObject.registerClass({
_updatePadding() { _updatePadding() {
const node = this.get_theme_node(); const node = this.get_theme_node();
const {rowSpacing, columnSpacing} = this.layoutManager;
const padding = this._indicatorsPadding.copy(); const padding = this._indicatorsPadding.copy();
padding.left += rowSpacing;
padding.right += rowSpacing;
padding.top += columnSpacing;
padding.bottom += columnSpacing;
['top', 'right', 'bottom', 'left'].forEach(side => { ['top', 'right', 'bottom', 'left'].forEach(side => {
padding[side] += node.get_length(`page-padding-${side}`); padding[side] += node.get_length(`page-padding-${side}`);
}); });