blob: b98e1a3fbdf51ef9b1842fa8f0496271bcee4236 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
/* 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";
const ZOOM_PREF = "devtools.toolbox.zoomValue";
const MIN_ZOOM = 0.5;
const MAX_ZOOM = 2;
const { LocalizationHelper } = require("resource://devtools/shared/l10n.js");
const L10N = new LocalizationHelper(
"devtools/client/locales/toolbox.properties"
);
/**
* Register generic keys to control zoom level of the given document.
* Used by both the toolboxes and the browser console.
*
* @param {DOMWindow}
* The window on which we should listent to key strokes and modify the zoom factor.
* @param {KeyShortcuts}
* KeyShortcuts instance where the zoom keys should be added.
*/
exports.register = function (window, shortcuts) {
const bc = BrowsingContext.getFromWindow(window);
let zoomValue = parseFloat(Services.prefs.getCharPref(ZOOM_PREF));
const zoomIn = function (event) {
setZoom(zoomValue + 0.1);
event.preventDefault();
};
const zoomOut = function (event) {
setZoom(zoomValue - 0.1);
event.preventDefault();
};
const zoomReset = function (event) {
setZoom(1);
event.preventDefault();
};
const setZoom = function (newValue) {
// cap zoom value
zoomValue = Math.max(newValue, MIN_ZOOM);
zoomValue = Math.min(zoomValue, MAX_ZOOM);
// Prevent the floating-point error. (e.g. 1.1 + 0.1 = 1.2000000000000002)
zoomValue = Math.round(zoomValue * 10) / 10;
bc.fullZoom = zoomValue;
Services.prefs.setCharPref(ZOOM_PREF, zoomValue);
};
// Set zoom to whatever the last setting was.
setZoom(zoomValue);
shortcuts.on(L10N.getStr("toolbox.zoomIn.key"), zoomIn);
const zoomIn2 = L10N.getStr("toolbox.zoomIn2.key");
if (zoomIn2) {
shortcuts.on(zoomIn2, zoomIn);
}
shortcuts.on(L10N.getStr("toolbox.zoomOut.key"), zoomOut);
const zoomOut2 = L10N.getStr("toolbox.zoomOut2.key");
if (zoomOut2) {
shortcuts.on(zoomOut2, zoomOut);
}
shortcuts.on(L10N.getStr("toolbox.zoomReset.key"), zoomReset);
const zoomReset2 = L10N.getStr("toolbox.zoomReset2.key");
if (zoomReset2) {
shortcuts.on(zoomReset2, zoomReset);
}
};
|