From 2506673514af336b52811636f7acee501f3ff94a Mon Sep 17 00:00:00 2001 From: "Jasper St. Pierre" Date: Mon, 25 Feb 2013 17:06:07 -0500 Subject: [PATCH] workspacesView: Minor cleanup https://bugzilla.gnome.org/show_bug.cgi?id=694469 --- js/ui/workspacesView.js | 9 ++------- 1 file changed, 2 insertions(+), 7 deletions(-) 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++) {