[gnome-shell] altTab: account for scale factor when computing icon size

[Cosimo Cecchi <cosimoc src gnome org>]

commit fc719c19f9d5560218894ddc2144ad7e40f6e290
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Sat Feb 15 20:25:49 2014 -0800

    altTab: account for scale factor when computing icon size
    
    https://bugzilla.gnome.org/show_bug.cgi?id=705410

 js/ui/altTab.js |   13 +++++++++----
 1 files changed, 9 insertions(+), 4 deletions(-)
---
diff --git a/js/ui/altTab.js b/js/ui/altTab.js
index 9b6c704..57db134 100644
--- a/js/ui/altTab.js
+++ b/js/ui/altTab.js
@@ -24,7 +24,7 @@ const WINDOW_PREVIEW_SIZE = 128;
 const APP_ICON_SIZE = 96;
 const APP_ICON_SIZE_SMALL = 48;
 
-const iconSizes = [96, 64, 48, 32, 22];
+const baseIconSizes = [96, 64, 48, 32, 22];
 
 const AppIconMode = {
     THUMBNAIL_ONLY: 1,
@@ -496,11 +496,16 @@ const AppSwitcher = new Lang.Class({
         let parentPadding = this.actor.get_parent().get_theme_node().get_horizontal_padding();
         let availWidth = primary.width - parentPadding - 
this.actor.get_theme_node().get_horizontal_padding();
 
+        let scaleFactor = St.ThemeContext.get_for_stage(global.stage).scale_factor;
+        let iconSizes = baseIconSizes.map(function(s) {
+            return s * scaleFactor;
+        });
+
         if (this._items.length == 1) {
-            this._iconSize = iconSizes[0];
+            this._iconSize = baseIconSizes[0];
         } else {
-            for(let i =  0; i < iconSizes.length; i++) {
-                this._iconSize = iconSizes[i];
+            for(let i =  0; i < baseIconSizes.length; i++) {
+                this._iconSize = baseIconSizes[i];
                 let height = iconSizes[i] + iconSpacing;
                 let w = height * this._items.length + totalSpacing;
                 if (w <= availWidth)