From c4b424870780b9a19be0d80288a7b0273518f81d Mon Sep 17 00:00:00 2001 From: Colin Walters Date: Sun, 2 Aug 2009 15:49:10 -0400 Subject: [PATCH] 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 file changed, 3 insertions(+), 3 deletions(-) diff --git a/js/ui/altTab.js b/js/ui/altTab.js index 731ee2b2b..f11ea3db1 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); },