mirror of
https://github.com/roytam1/basilisk55.git
synced 2026-05-26 15:02:46 +00:00
76 lines
2.6 KiB
JavaScript
76 lines
2.6 KiB
JavaScript
// -*- 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(aWindow) {
|
|
aWindow.addEventListener("EndSwapDocShells", onEndSwapDocShells, true);
|
|
aWindow.addEventListener("unload", () => {
|
|
aWindow.removeEventListener("EndSwapDocShells", onEndSwapDocShells, true);
|
|
}, {once: true});
|
|
},
|
|
}
|
|
|
|
function fullZoomObserver(aSubject, aTopic) {
|
|
// If the tab was the last one in its window and has been dragged to another
|
|
// window, the original browser's window will be unavailable here. Since that
|
|
// window is closing, we can just ignore this notification.
|
|
if (!aSubject.ownerGlobal) {
|
|
return;
|
|
}
|
|
|
|
// Only allow pulse animation for zoom changes, not tab switching.
|
|
let animate = (aTopic != "browser-fullZoom:location-change");
|
|
updateZoomButton(aSubject, animate);
|
|
}
|
|
|
|
function onEndSwapDocShells(event) {
|
|
updateZoomButton(event.originalTarget);
|
|
}
|
|
|
|
function updateZoomButton(aBrowser, aAnimate = false) {
|
|
let win = aBrowser.ownerGlobal;
|
|
if (aBrowser != win.gBrowser.selectedBrowser) {
|
|
return;
|
|
}
|
|
|
|
let customizableZoomControls = win.document.getElementById("zoom-controls");
|
|
let zoomResetButton = win.document.getElementById("urlbar-zoom-button");
|
|
|
|
// 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;
|
|
}
|
|
|
|
let zoomFactor = Math.round(win.ZoomManager.zoom * 100);
|
|
if (zoomFactor != 100) {
|
|
// Check if zoom button is visible and update label if it is
|
|
if (zoomResetButton.hidden) {
|
|
zoomResetButton.hidden = false;
|
|
}
|
|
if (aAnimate) {
|
|
zoomResetButton.setAttribute("animate", "true");
|
|
} else {
|
|
zoomResetButton.removeAttribute("animate");
|
|
}
|
|
zoomResetButton.setAttribute("label",
|
|
win.gNavigatorBundle.getFormattedString("urlbar-zoom-button.label", [zoomFactor]));
|
|
} else {
|
|
// Hide button if zoom is at 100%
|
|
zoomResetButton.hidden = true;
|
|
}
|
|
}
|
|
|
|
Services.obs.addObserver(fullZoomObserver, "browser-fullZoom:zoomChange", false);
|
|
Services.obs.addObserver(fullZoomObserver, "browser-fullZoom:zoomReset", false);
|
|
Services.obs.addObserver(fullZoomObserver, "browser-fullZoom:location-change", false);
|