зеркало из https://github.com/mozilla/gecko-dev.git
138 строки
4.4 KiB
JavaScript
138 строки
4.4 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";
|
|
|
|
var EXPORTED_SYMBOLS = ["ZoomUI"];
|
|
|
|
const { Services } = ChromeUtils.import("resource://gre/modules/Services.jsm");
|
|
|
|
var ZoomUI = {
|
|
init(aWindow) {
|
|
aWindow.addEventListener("EndSwapDocShells", onEndSwapDocShells, true);
|
|
aWindow.addEventListener("FullZoomChange", onZoomChange);
|
|
aWindow.addEventListener("TextZoomChange", onZoomChange);
|
|
aWindow.addEventListener(
|
|
"unload",
|
|
() => {
|
|
aWindow.removeEventListener(
|
|
"EndSwapDocShells",
|
|
onEndSwapDocShells,
|
|
true
|
|
);
|
|
aWindow.removeEventListener("FullZoomChange", onZoomChange);
|
|
aWindow.removeEventListener("TextZoomChange", onZoomChange);
|
|
},
|
|
{ once: true }
|
|
);
|
|
},
|
|
};
|
|
|
|
function fullZoomLocationChangeObserver(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;
|
|
}
|
|
updateZoomUI(aSubject, false);
|
|
}
|
|
Services.obs.addObserver(
|
|
fullZoomLocationChangeObserver,
|
|
"browser-fullZoom:location-change"
|
|
);
|
|
|
|
function onEndSwapDocShells(event) {
|
|
updateZoomUI(event.originalTarget);
|
|
}
|
|
|
|
function onZoomChange(event) {
|
|
let browser;
|
|
if (event.target.nodeType == event.target.DOCUMENT_NODE) {
|
|
// In non-e10s, the event is dispatched on the contentDocument
|
|
// so we need to jump through some hoops to get to the <xul:browser>.
|
|
let topDoc = event.target.defaultView.top.document;
|
|
if (!topDoc.documentElement) {
|
|
// In some events, such as loading synthetic documents, the
|
|
// documentElement will be null and we won't be able to find
|
|
// an associated browser.
|
|
return;
|
|
}
|
|
browser = topDoc.ownerGlobal.docShell.chromeEventHandler;
|
|
} else {
|
|
browser = event.originalTarget;
|
|
}
|
|
updateZoomUI(browser, true);
|
|
}
|
|
|
|
/**
|
|
* Updates zoom controls.
|
|
*
|
|
* @param {object} aBrowser The browser that the zoomed content resides in.
|
|
* @param {boolean} aAnimate Should be True for all cases unless the zoom
|
|
* change is related to tab switching. Optional
|
|
*/
|
|
function updateZoomUI(aBrowser, aAnimate = false) {
|
|
let win = aBrowser.ownerGlobal;
|
|
if (!win.gBrowser || win.gBrowser.selectedBrowser != aBrowser) {
|
|
return;
|
|
}
|
|
|
|
let appMenuZoomReset = win.document.getElementById(
|
|
"appMenu-zoomReset-button"
|
|
);
|
|
let customizableZoomControls = win.document.getElementById("zoom-controls");
|
|
let customizableZoomReset = win.document.getElementById("zoom-reset-button");
|
|
let urlbarZoomButton = win.document.getElementById("urlbar-zoom-button");
|
|
let zoomFactor = Math.round(win.ZoomManager.zoom * 100);
|
|
|
|
// Hide urlbar zoom button if zoom is at 100% or the customizable control is
|
|
// in the toolbar.
|
|
urlbarZoomButton.hidden =
|
|
zoomFactor == 100 ||
|
|
(customizableZoomControls &&
|
|
customizableZoomControls.getAttribute("cui-areatype") == "toolbar");
|
|
|
|
let label = win.gNavigatorBundle.getFormattedString("zoom-button.label", [
|
|
zoomFactor,
|
|
]);
|
|
if (appMenuZoomReset) {
|
|
appMenuZoomReset.setAttribute("label", label);
|
|
}
|
|
if (customizableZoomReset) {
|
|
customizableZoomReset.setAttribute("label", label);
|
|
}
|
|
if (!urlbarZoomButton.hidden) {
|
|
if (aAnimate) {
|
|
urlbarZoomButton.setAttribute("animate", "true");
|
|
} else {
|
|
urlbarZoomButton.removeAttribute("animate");
|
|
}
|
|
urlbarZoomButton.setAttribute("label", label);
|
|
}
|
|
}
|
|
|
|
const { CustomizableUI } = ChromeUtils.import(
|
|
"resource:///modules/CustomizableUI.jsm"
|
|
);
|
|
let customizationListener = {};
|
|
customizationListener.onWidgetAdded = customizationListener.onWidgetRemoved = customizationListener.onWidgetMoved = function(
|
|
aWidgetId
|
|
) {
|
|
if (aWidgetId == "zoom-controls") {
|
|
for (let window of CustomizableUI.windows) {
|
|
updateZoomUI(window.gBrowser.selectedBrowser);
|
|
}
|
|
}
|
|
};
|
|
customizationListener.onWidgetReset = customizationListener.onWidgetUndoMove = function(
|
|
aWidgetNode
|
|
) {
|
|
if (aWidgetNode.id == "zoom-controls") {
|
|
updateZoomUI(aWidgetNode.ownerGlobal.gBrowser.selectedBrowser);
|
|
}
|
|
};
|
|
CustomizableUI.addListener(customizationListener);
|