diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js index 1ea508f4c..887b07ad3 100644 --- a/js/ui/workspacesView.js +++ b/js/ui/workspacesView.js @@ -636,16 +636,11 @@ const WorkspacesDisplay = new Lang.Class({ if (!this._workspacesViews.length) return; - let fullWidth = this.actor.allocation.x2 - this.actor.allocation.x1; - let fullHeight = this.actor.allocation.y2 - this.actor.allocation.y1; - - let width = fullWidth; - let height = fullHeight; + let width = this.actor.allocation.x2 - this.actor.allocation.x1; + let height = this.actor.allocation.y2 - this.actor.allocation.y1; let [x, y] = this.actor.get_transformed_position(); - let rtl = (Clutter.get_default_text_direction () == Clutter.TextDirection.RTL); - let monitors = Main.layoutManager.monitors; let m = 0; for (let i = 0; i < monitors.length; i++) {