windowManager: Get the active workspace index directly

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2540>
This commit is contained in:
Alessandro Bono 2022-11-11 20:39:58 +01:00
parent cfb601c1ed
commit 5d390d9899

View File

@ -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)