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;