From 78f886f42ce4cd53cd768aa7673304050843afcb Mon Sep 17 00:00:00 2001
From: Georges Basile Stavracas Neto <georges.stavracas@gmail.com>
Date: Thu, 28 May 2020 21:02:24 -0300
Subject: [PATCH] windowManager: Switch to horizontal workspaces

Do so by removing the workspace override.

Requires https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1684

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1593>
---
 js/ui/windowManager.js | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 1b90c3b7d..8a4df0b51 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -944,9 +944,6 @@ var WindowManager = class {
         if (Main.sessionMode.hasWorkspaces)
             this._workspaceTracker = new WorkspaceTracker(this);
 
-        global.workspace_manager.override_workspace_layout(Meta.DisplayCorner.TOPLEFT,
-                                                           false, -1, 1);
-
         let swipeTracker = new SwipeTracker.SwipeTracker(global.stage,
             Shell.ActionMode.NORMAL, { allowDrag: false, allowScroll: false });
         swipeTracker.connect('begin', this._switchWorkspaceBegin.bind(this));