From 2bd91e738ed7c04291ae5e596949b3f07fedb3f2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Fri, 23 Oct 2020 00:49:03 +0200
Subject: [PATCH] workspace: Adjust spacing

Icons are always visible, so in order to not have overlays overlap
with other previews, we need to consider the sum of top- and border
oversizes rather than the maximum.

https://gitlab.gnome.org/Teams/Design/os-mockups/-/issues/81

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1605>
---
 js/ui/workspace.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index a93ec2726..cb3c212ee 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -464,7 +464,7 @@ var WorkspaceLayout = GObject.registerClass({
         const [leftOversize, rightOversize] = window.chromeWidths();
 
         if (rowSpacing)
-            rowSpacing += Math.max(topOversize, bottomOversize);
+            rowSpacing += topOversize + bottomOversize;
         if (colSpacing)
             colSpacing += Math.max(leftOversize, rightOversize);