[gnome-shell] workspace: Actually apply top overlap to the top

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

commit 9e8ceeae9db4847515fbb668cef3e567ae79f228
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;
         }