From 5d390d98993249c774d0dd7e1ac52972b901d034 Mon Sep 17 00:00:00 2001
From: Alessandro Bono <alessandro.bono369@gmail.com>
Date: Fri, 11 Nov 2022 20:39:58 +0100
Subject: [PATCH] windowManager: Get the active workspace index directly

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2540>
---
 js/ui/windowManager.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index d415412b1..4a2fa1e0c 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -1773,7 +1773,7 @@ var WindowManager = class {
             target--;
             newWs = workspaceManager.get_workspace_by_index(target);
 
-            if (workspaceManager.get_active_workspace().index() > target) {
+            if (workspaceManager.get_active_workspace_index() > target) {
                 if (vertical)
                     direction = Meta.MotionDirection.UP;
                 else if (rtl)