From b6f65ee81b2cb4891dce6a96e7d3cfe4dd7d8718 Mon Sep 17 00:00:00 2001
From: Mike de Boer <mdeboer@mozilla.com>
Date: Tue, 25 Mar 2014 12:12:17 +0100
Subject: [PATCH] [Australis] Bug 987443: fix zoom button label rounding.
 r=Gijs

---
 browser/components/customizableui/src/CustomizableWidgets.jsm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/browser/components/customizableui/src/CustomizableWidgets.jsm b/browser/components/customizableui/src/CustomizableWidgets.jsm
index 9e8baa00a126..1bac19b2eee8 100644
--- a/browser/components/customizableui/src/CustomizableWidgets.jsm
+++ b/browser/components/customizableui/src/CustomizableWidgets.jsm
@@ -503,7 +503,7 @@ const CustomizableWidgets = [{
         // tabbrowser. This breaks the zoom toolkit code (see bug 897410). Don't let that happen:
         let zoomFactor = 100;
         try {
-          zoomFactor = Math.floor(window.ZoomManager.zoom * 100);
+          zoomFactor = Math.round(window.ZoomManager.zoom * 100);
         } catch (e) {}
         zoomResetButton.setAttribute("label", CustomizableUI.getLocalizedProperty(
           buttons[1], "label", [updateDisplay ? zoomFactor : 100]