[gnome-shell] workspace: Adjust spacing

[Marge Bot <marge-bot src gnome org>]

commit 2bd91e738ed7c04291ae5e596949b3f07fedb3f2
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri Oct 23 00:49:03 2020 +0200

    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 a93ec27264..cb3c212eea 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);