[gnome-shell] workspacesView: Stop using full geometry

[Georges Basile Stavracas Neto <gbsneto src gnome org>]

commit ff13ad9e71aefac274028ba8fc6a55692ac78cbb
Author: Florian Müllner <fmuellner gnome org>
Date:   Sat Jun 27 17:25:25 2020 +0200

    workspacesView: Stop using full geometry
    
    Since the workspaces themselves stopped using it, there is little
    reason for upholding the difference between "full" and "actual"
    geometry.
    
    Just base positioning/swiping on the view's allocation.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1345

 js/ui/workspacesView.js | 16 ++++++----------
 1 file changed, 6 insertions(+), 10 deletions(-)
---
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 0a7a306b12..1e63cfe74f 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -164,11 +164,11 @@ class WorkspacesView extends WorkspacesViewBase {
 
             let params = {};
             if (workspaceManager.layout_rows == -1)
-                params.translation_y = (w - active) * this._fullGeometry.height;
+                params.translation_y = (w - active) * this.height;
             else if (this.text_direction == Clutter.TextDirection.RTL)
-                params.translation_x = (active - w) * this._fullGeometry.width;
+                params.translation_x = (active - w) * this.width;
             else
-                params.translation_x = (w - active) * this._fullGeometry.width;
+                params.translation_x = (w - active) * this.width;
 
             if (showAnimation) {
                 let easeParams = Object.assign(params, {
@@ -232,8 +232,7 @@ class WorkspacesView extends WorkspacesViewBase {
             }
         }
 
-        if (this._fullGeometry)
-            this._updateWorkspaceActors(false);
+        this._updateWorkspaceActors(false);
     }
 
     _activeWorkspaceChanged(_wm, _from, _to, _direction) {
@@ -534,11 +533,8 @@ class WorkspacesDisplay extends St.Widget {
         for (let i = 0; i < this._workspacesViews.length; i++)
             this._workspacesViews[i].startTouchGesture();
 
-        let monitors = Main.layoutManager.monitors;
-        let geometry = monitor === this._primaryIndex
-            ? this._fullGeometry : monitors[monitor];
         let distance = global.workspace_manager.layout_rows === -1
-            ? geometry.height : geometry.width;
+            ? this.height : this.width;
 
         let progress = adjustment.value / adjustment.page_size;
         let points = Array.from(
@@ -585,7 +581,7 @@ class WorkspacesDisplay extends St.Widget {
         this.show();
         this._updateWorkspacesViews();
 
-        if (this._actualGeometry && this._fullGeometry) {
+        if (this._actualGeometry) {
             for (let i = 0; i < this._workspacesViews.length; i++) {
                 let animationType;
                 if (fadeOnPrimary && i == this._primaryIndex)