[gnome-shell] workspacesView: remove unused variables

[Cosimo Cecchi <cosimoc src gnome org>]

commit 8167f209727f4c100cd16ea775e0a47a804d3db2
Author: Cosimo Cecchi <cosimo endlessm com>
Date:   Sun May 19 15:59:34 2019 +0000

    workspacesView: remove unused variables

 js/ui/workspacesView.js | 3 ---
 1 file changed, 3 deletions(-)
---
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index bd2734a27..78a1c8104 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -483,7 +483,6 @@ var WorkspacesDisplay = class {
         this._primaryIndex = Main.layoutManager.primaryIndex;
 
         this._workspacesViews = [];
-        this._primaryScrollAdjustment = null;
         switchGesture.enabled = this.actor.mapped;
 
         this._settings = new Gio.Settings({ schema_id: MUTTER_SCHEMA });
@@ -491,8 +490,6 @@ var WorkspacesDisplay = class {
                                this._workspacesOnlyOnPrimaryChanged.bind(this));
         this._workspacesOnlyOnPrimaryChanged();
 
-        this._switchWorkspaceNotifyId = 0;
-
         this._notifyOpacityId = 0;
         this._restackedNotifyId = 0;
         this._scrollEventId = 0;