From 9e8ceeae9db4847515fbb668cef3e567ae79f228 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jonas=20Dre=C3=9Fler?= <verdre@v0yd.nl>
Date: Fri, 12 Feb 2021 16:18:13 +0100
Subject: [PATCH] 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 c7021fe5a..730ad2061 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;
         }