[gnome-shell] windowManager: Switch to horizontal workspaces
- From: Marge Bot <marge-bot src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] windowManager: Switch to horizontal workspaces
- Date: Fri, 29 Jan 2021 15:04:20 +0000 (UTC)
commit 78f886f42ce4cd53cd768aa7673304050843afcb
Author: Georges Basile Stavracas Neto <georges stavracas gmail com>
Date: Thu May 28 21:02:24 2020 -0300
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 1b90c3b7da..8a4df0b51b 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));
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]