[gnome-shell/wip/aday/app-grid-layout] workspace: Actually apply top overlap to the top

[Allan Day <allanday src gnome org>]

commit d89f0833a248fa6e48ed03a04dda057da96cacee
Author: Jonas Dreßler <verdre v0yd nl>
Date:   Fri Feb 12 16:18:13 2021 +0100

    workspace: Actually apply top overlap to the top
    
    The top overlap is accidentally being applied to the left edge right
    now, fix that and apply it correctly to the top edge.
    
    Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1698>

 js/ui/workspace.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index c7021fe5ac..730ad20615 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -470,9 +470,9 @@ var WorkspaceLayout = GObject.registerClass({
 
         if (containerBox) {
             const [topOverlap, bottomOverlap] = window.overlapHeights();
-            containerBox.x1 += leftOversize + topOverlap;
+            containerBox.x1 += leftOversize;
             containerBox.x2 -= rightOversize;
-            containerBox.y1 += topOversize;
+            containerBox.y1 += topOversize + topOverlap;
             containerBox.y2 -= bottomOversize + bottomOverlap;
         }