[gnome-shell] workspacesView: Minor cleanup

[Jasper St. Pierre <jstpierre src gnome org>]

commit 2506673514af336b52811636f7acee501f3ff94a
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Mon Feb 25 17:06:07 2013 -0500

    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 1ea508f..887b07a 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++) {