[gnome-shell] Bug 589086 - Fix non-integer positioning in altTab

[Colin Walters <walters src gnome org>]

commit c4b424870780b9a19be0d80288a7b0273518f81d
Author: Colin Walters <walters verbum org>
Date:   Sun Aug 2 15:49:10 2009 -0400

    Bug 589086 - Fix non-integer positioning in altTab
    
    Non-integer makes fonts look awful.  Fix this by rounding
    down.

 js/ui/altTab.js |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/js/ui/altTab.js b/js/ui/altTab.js
index 731ee2b..f11ea3d 100644
--- a/js/ui/altTab.js
+++ b/js/ui/altTab.js
@@ -62,7 +62,7 @@ AltTabPopup.prototype = {
         let labelbox = new Big.Box({ background_color: POPUP_INDICATOR_COLOR,
                                      corner_radius: POPUP_GRID_SPACING / 2,
                                      padding: POPUP_GRID_SPACING / 2 });
-        labelbox.append(this._label, Big.BoxPackFlags.EXPAND);
+        labelbox.append(this._label, Big.BoxPackFlags.NONE);
         let lcenterbox = new Big.Box({ orientation: Big.BoxOrientation.HORIZONTAL,
                                        x_align: Big.BoxAlignment.CENTER,
                                        width: POPUP_LABEL_MAX_WIDTH + POPUP_GRID_SPACING });
@@ -155,8 +155,8 @@ AltTabPopup.prototype = {
                                        transition: "easeOutQuad" });
 
 	this.actor.show_all();
-        this.actor.x = (global.screen_width - this.actor.width) / 2;
-        this.actor.y = (global.screen_height - this.actor.height) / 2;
+        this.actor.x = Math.floor((global.screen_width - this.actor.width) / 2);
+        this.actor.y = Math.floor((global.screen_height - this.actor.height) / 2);
 
         this.select(initialSelection);
     },