[gnome-shell] workspace: Use the scaled width when calculating the total width

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

commit b24a10aa00723eec75034955628e772f1e413c77
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Thu Feb 28 16:01:15 2013 -0500

    workspace: Use the scaled width when calculating the total width
    
    This is a small inconsistency I found in the code after review.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=694902

 js/ui/workspace.js |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index 06b9dbf..abc4220 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -815,7 +815,9 @@ const UnalignedLayoutStrategy = new Lang.Class({
         let rows = [];
         let totalWidth = 0;
         for (let i = 0; i < windows.length; i++) {
-            totalWidth += windows[i].actor.width;
+            let window = windows[i];
+            let s = this._computeWindowScale(window);
+            totalWidth += window.actor.width * s;
         }
 
         let idealRowWidth = totalWidth / numRows;