diff options
Diffstat (limited to 'browser/modules/URLBarZoom.jsm')
-rw-r--r-- | browser/modules/URLBarZoom.jsm | 51 |
1 files changed, 0 insertions, 51 deletions
diff --git a/browser/modules/URLBarZoom.jsm b/browser/modules/URLBarZoom.jsm deleted file mode 100644 index 3e1c0f707..000000000 --- a/browser/modules/URLBarZoom.jsm +++ /dev/null @@ -1,51 +0,0 @@ -// -*- indent-tabs-mode: nil; js-indent-level: 2 -*- -/* This Source Code Form is subject to the terms of the Mozilla Public - * License, v. 2.0. If a copy of the MPL was not distributed with this - * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ - -"use strict"; - -this.EXPORTED_SYMBOLS = [ "URLBarZoom" ]; - -Components.utils.import("resource://gre/modules/Services.jsm"); - -var URLBarZoom = { - - init: function(aWindow) { - // Register ourselves with the service so we know when the zoom prefs change. - Services.obs.addObserver(updateZoomButton, "browser-fullZoom:zoomChange", false); - Services.obs.addObserver(updateZoomButton, "browser-fullZoom:zoomReset", false); - Services.obs.addObserver(updateZoomButton, "browser-fullZoom:location-change", false); - }, -} - -function updateZoomButton(aSubject, aTopic) { - let win = aSubject.ownerDocument.defaultView; - let customizableZoomControls = win.document.getElementById("zoom-controls"); - let zoomResetButton = win.document.getElementById("urlbar-zoom-button"); - let zoomFactor = Math.round(win.ZoomManager.zoom * 100); - - // Ensure that zoom controls haven't already been added to browser in Customize Mode - if (customizableZoomControls && - customizableZoomControls.getAttribute("cui-areatype") == "toolbar") { - zoomResetButton.hidden = true; - return; - } - if (zoomFactor != 100) { - // Check if zoom button is visible and update label if it is - if (zoomResetButton.hidden) { - zoomResetButton.hidden = false; - } - // Only allow pulse animation for zoom changes, not tab switching - if (aTopic != "browser-fullZoom:location-change") { - zoomResetButton.setAttribute("animate", "true"); - } else { - zoomResetButton.removeAttribute("animate"); - } - zoomResetButton.setAttribute("label", - win.gNavigatorBundle.getFormattedString("urlbar-zoom-button.label", [zoomFactor])); - // Hide button if zoom is at 100% - } else { - zoomResetButton.hidden = true; - } -} |