summaryrefslogtreecommitdiffstats
path: root/browser/modules/URLBarZoom.jsm
diff options
context:
space:
mode:
Diffstat (limited to 'browser/modules/URLBarZoom.jsm')
-rw-r--r--browser/modules/URLBarZoom.jsm51
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;
- }
-}