2017-03-21 11:23:24 +03:00
|
|
|
// -*- 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";
|
|
|
|
|
2017-07-19 00:39:11 +03:00
|
|
|
var EXPORTED_SYMBOLS = ["ZoomUI"];
|
2019-12-24 04:56:32 +03:00
|
|
|
const gLoadContext = Cu.createLoadContext();
|
|
|
|
const gContentPrefs = Cc["@mozilla.org/content-pref/service;1"].getService(
|
|
|
|
Ci.nsIContentPrefService2
|
|
|
|
);
|
2019-01-17 21:18:31 +03:00
|
|
|
const { Services } = ChromeUtils.import("resource://gre/modules/Services.jsm");
|
2019-12-24 04:56:32 +03:00
|
|
|
const gZoomPropertyName = "browser.content.full-zoom";
|
2017-03-21 11:23:24 +03:00
|
|
|
|
2020-08-10 20:09:55 +03:00
|
|
|
ChromeUtils.defineModuleGetter(
|
|
|
|
this,
|
|
|
|
"PanelMultiView",
|
|
|
|
"resource:///modules/PanelMultiView.jsm"
|
|
|
|
);
|
|
|
|
|
2017-07-19 00:39:11 +03:00
|
|
|
var ZoomUI = {
|
2017-03-21 11:23:24 +03:00
|
|
|
init(aWindow) {
|
|
|
|
aWindow.addEventListener("EndSwapDocShells", onEndSwapDocShells, true);
|
2017-07-19 00:39:11 +03:00
|
|
|
aWindow.addEventListener("FullZoomChange", onZoomChange);
|
|
|
|
aWindow.addEventListener("TextZoomChange", onZoomChange);
|
2017-03-21 11:23:24 +03:00
|
|
|
aWindow.addEventListener(
|
|
|
|
"unload",
|
|
|
|
() => {
|
|
|
|
aWindow.removeEventListener(
|
|
|
|
"EndSwapDocShells",
|
|
|
|
onEndSwapDocShells,
|
|
|
|
true
|
|
|
|
);
|
2017-07-19 00:39:11 +03:00
|
|
|
aWindow.removeEventListener("FullZoomChange", onZoomChange);
|
|
|
|
aWindow.removeEventListener("TextZoomChange", onZoomChange);
|
2017-03-21 11:23:24 +03:00
|
|
|
},
|
|
|
|
{ once: true }
|
|
|
|
);
|
|
|
|
},
|
2019-12-24 04:56:32 +03:00
|
|
|
|
|
|
|
/**
|
|
|
|
* Gets the global browser.content.full-zoom content preference.
|
|
|
|
*
|
|
|
|
* @returns Promise<prefValue>
|
|
|
|
* Resolves to the preference value (float) when done.
|
|
|
|
*/
|
|
|
|
getGlobalValue() {
|
|
|
|
return new Promise(resolve => {
|
|
|
|
let cachedVal = gContentPrefs.getCachedGlobal(
|
|
|
|
gZoomPropertyName,
|
|
|
|
gLoadContext
|
|
|
|
);
|
|
|
|
if (cachedVal) {
|
|
|
|
// We've got cached information, though it may be we've cached
|
|
|
|
// an undefined value, or the cached info is invalid. To ensure
|
|
|
|
// a valid return, we opt to return the default 1.0 in the
|
|
|
|
// undefined and invalid cases.
|
|
|
|
resolve(parseFloat(cachedVal.value) || 1.0);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
// Otherwise, nothing is cached, so we must do a full lookup
|
|
|
|
// with `gContentPrefs.getGlobal()`.
|
|
|
|
let value = 1.0;
|
|
|
|
gContentPrefs.getGlobal(gZoomPropertyName, gLoadContext, {
|
|
|
|
handleResult(pref) {
|
|
|
|
if (pref.value) {
|
|
|
|
value = parseFloat(pref.value);
|
|
|
|
}
|
|
|
|
},
|
|
|
|
handleCompletion(reason) {
|
|
|
|
resolve(value);
|
|
|
|
},
|
|
|
|
handleError(error) {
|
|
|
|
Cu.reportError(error);
|
|
|
|
},
|
|
|
|
});
|
|
|
|
});
|
|
|
|
},
|
2017-10-15 21:50:30 +03:00
|
|
|
};
|
2017-03-21 11:23:24 +03:00
|
|
|
|
|
|
|
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);
|
|
|
|
}
|
2017-04-15 00:39:22 +03:00
|
|
|
Services.obs.addObserver(
|
|
|
|
fullZoomLocationChangeObserver,
|
|
|
|
"browser-fullZoom:location-change"
|
|
|
|
);
|
2017-03-21 11:23:24 +03:00
|
|
|
|
|
|
|
function onEndSwapDocShells(event) {
|
|
|
|
updateZoomUI(event.originalTarget);
|
|
|
|
}
|
|
|
|
|
2017-07-19 00:39:11 +03:00
|
|
|
function onZoomChange(event) {
|
2017-03-21 11:23:24 +03:00
|
|
|
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;
|
2017-07-24 18:16:37 +03:00
|
|
|
if (!topDoc.documentElement) {
|
|
|
|
// In some events, such as loading synthetic documents, the
|
2018-10-02 20:51:11 +03:00
|
|
|
// documentElement will be null and we won't be able to find
|
|
|
|
// an associated browser.
|
2017-07-24 18:16:37 +03:00
|
|
|
return;
|
|
|
|
}
|
2018-10-02 20:51:11 +03:00
|
|
|
browser = topDoc.ownerGlobal.docShell.chromeEventHandler;
|
2017-03-21 11:23:24 +03:00
|
|
|
} 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
|
|
|
|
*/
|
2019-12-24 04:56:32 +03:00
|
|
|
async function updateZoomUI(aBrowser, aAnimate = false) {
|
2017-03-21 11:23:24 +03:00
|
|
|
let win = aBrowser.ownerGlobal;
|
2018-04-03 23:36:24 +03:00
|
|
|
if (!win.gBrowser || win.gBrowser.selectedBrowser != aBrowser) {
|
2017-03-21 11:23:24 +03:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2020-08-10 20:09:55 +03:00
|
|
|
let appMenuZoomReset = PanelMultiView.getViewNode(
|
|
|
|
win.document,
|
2021-07-08 01:15:50 +03:00
|
|
|
"appMenu-zoomReset-button2"
|
2017-06-01 20:36:04 +03:00
|
|
|
);
|
2020-10-26 19:20:59 +03:00
|
|
|
|
|
|
|
// Exit early if UI elements aren't present.
|
|
|
|
if (!appMenuZoomReset) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2017-03-21 11:23:24 +03:00
|
|
|
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);
|
|
|
|
|
2020-01-21 20:38:51 +03:00
|
|
|
let defaultZoom = Math.round((await ZoomUI.getGlobalValue()) * 100);
|
2019-12-24 04:56:32 +03:00
|
|
|
|
|
|
|
if (!win.gBrowser || win.gBrowser.selectedBrowser != aBrowser) {
|
|
|
|
// Because the CPS call is async, at this point the selected browser
|
|
|
|
// may have changed. We should re-check whether the browser for which we've
|
|
|
|
// been notified is still the selected browser and bail out if not.
|
|
|
|
// If the selected browser changed (again), we will have been called again
|
|
|
|
// with the "right" browser, and that'll update the zoom level.
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2020-02-29 00:04:51 +03:00
|
|
|
// Hide urlbar zoom button if zoom is at the default zoom level,
|
|
|
|
// if we're viewing an about:blank page with an empty/null
|
2020-03-06 06:48:07 +03:00
|
|
|
// principal, if the PDF viewer is currently open,
|
|
|
|
// or if the customizable control is in the toolbar.
|
2020-02-29 00:04:51 +03:00
|
|
|
|
2017-03-21 11:23:24 +03:00
|
|
|
urlbarZoomButton.hidden =
|
2019-12-24 04:56:32 +03:00
|
|
|
defaultZoom == zoomFactor ||
|
2020-02-29 00:04:51 +03:00
|
|
|
(aBrowser.currentURI.spec == "about:blank" &&
|
|
|
|
(!aBrowser.contentPrincipal ||
|
|
|
|
aBrowser.contentPrincipal.isNullPrincipal)) ||
|
2020-03-06 06:48:07 +03:00
|
|
|
(aBrowser.contentPrincipal &&
|
2020-08-04 14:10:41 +03:00
|
|
|
aBrowser.contentPrincipal.spec == "resource://pdf.js/web/viewer.html") ||
|
2017-03-21 11:23:24 +03:00
|
|
|
(customizableZoomControls &&
|
|
|
|
customizableZoomControls.getAttribute("cui-areatype") == "toolbar");
|
|
|
|
|
|
|
|
let label = win.gNavigatorBundle.getFormattedString("zoom-button.label", [
|
|
|
|
zoomFactor,
|
|
|
|
]);
|
2017-06-01 20:36:04 +03:00
|
|
|
if (appMenuZoomReset) {
|
|
|
|
appMenuZoomReset.setAttribute("label", label);
|
|
|
|
}
|
2017-03-21 11:23:24 +03:00
|
|
|
if (customizableZoomReset) {
|
|
|
|
customizableZoomReset.setAttribute("label", label);
|
|
|
|
}
|
|
|
|
if (!urlbarZoomButton.hidden) {
|
2020-05-27 20:54:14 +03:00
|
|
|
if (aAnimate && !win.gReduceMotion) {
|
2017-03-21 11:23:24 +03:00
|
|
|
urlbarZoomButton.setAttribute("animate", "true");
|
|
|
|
} else {
|
|
|
|
urlbarZoomButton.removeAttribute("animate");
|
|
|
|
}
|
|
|
|
urlbarZoomButton.setAttribute("label", label);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-01-17 21:18:31 +03:00
|
|
|
const { CustomizableUI } = ChromeUtils.import(
|
|
|
|
"resource:///modules/CustomizableUI.jsm"
|
|
|
|
);
|
2017-11-07 15:15:18 +03:00
|
|
|
let customizationListener = {};
|
2017-04-21 00:34:55 +03:00
|
|
|
customizationListener.onWidgetAdded = customizationListener.onWidgetRemoved = customizationListener.onWidgetMoved = function(
|
|
|
|
aWidgetId
|
|
|
|
) {
|
2017-03-21 11:23:24 +03:00
|
|
|
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);
|