mirror of
https://github.com/mozilla/pdf.js.git
synced 2025-04-19 22:58:07 +02:00
- Use slightly shorter variable names when initializing the preferences. - Correctly copy the "old" preference-values before writing to storage, since Objects are passed by reference in JavaScript. (Only applies to the GENERIC viewer.) - Use `await` fully when writing new preference-values to storage. (Only applies to the GENERIC viewer.) - Stub the `get`-method in the Firefox PDF Viewer, since it's unused there nowadays.
209 lines
6.9 KiB
JavaScript
209 lines
6.9 KiB
JavaScript
/* Copyright 2013 Mozilla Foundation
|
|
*
|
|
* Licensed under the Apache License, Version 2.0 (the "License");
|
|
* you may not use this file except in compliance with the License.
|
|
* You may obtain a copy of the License at
|
|
*
|
|
* http://www.apache.org/licenses/LICENSE-2.0
|
|
*
|
|
* Unless required by applicable law or agreed to in writing, software
|
|
* distributed under the License is distributed on an "AS IS" BASIS,
|
|
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
* See the License for the specific language governing permissions and
|
|
* limitations under the License.
|
|
*/
|
|
|
|
import { AppOptions, OptionKind } from "./app_options.js";
|
|
|
|
/**
|
|
* BasePreferences - Abstract base class for storing persistent settings.
|
|
* Used for settings that should be applied to all opened documents,
|
|
* or every time the viewer is loaded.
|
|
*/
|
|
class BasePreferences {
|
|
#browserDefaults = Object.freeze(
|
|
typeof PDFJSDev === "undefined"
|
|
? AppOptions.getAll(OptionKind.BROWSER, /* defaultOnly = */ true)
|
|
: PDFJSDev.eval("BROWSER_PREFERENCES")
|
|
);
|
|
|
|
#defaults = Object.freeze(
|
|
typeof PDFJSDev === "undefined"
|
|
? AppOptions.getAll(OptionKind.PREFERENCE, /* defaultOnly = */ true)
|
|
: PDFJSDev.eval("DEFAULT_PREFERENCES")
|
|
);
|
|
|
|
#prefs = Object.create(null);
|
|
|
|
#initializedPromise = null;
|
|
|
|
constructor() {
|
|
if (this.constructor === BasePreferences) {
|
|
throw new Error("Cannot initialize BasePreferences.");
|
|
}
|
|
|
|
if (typeof PDFJSDev !== "undefined" && PDFJSDev.test("CHROME")) {
|
|
Object.defineProperty(this, "defaults", {
|
|
get() {
|
|
return this.#defaults;
|
|
},
|
|
});
|
|
}
|
|
|
|
this.#initializedPromise = this._readFromStorage(this.#defaults).then(
|
|
({ browserPrefs, prefs }) => {
|
|
const options = Object.create(null);
|
|
|
|
for (const [name, val] of Object.entries(this.#browserDefaults)) {
|
|
const prefVal = browserPrefs?.[name];
|
|
options[name] = typeof prefVal === typeof val ? prefVal : val;
|
|
}
|
|
for (const [name, val] of Object.entries(this.#defaults)) {
|
|
const prefVal = prefs?.[name];
|
|
// Ignore preferences whose types don't match the default values.
|
|
options[name] = this.#prefs[name] =
|
|
typeof prefVal === typeof val ? prefVal : val;
|
|
}
|
|
AppOptions.setAll(options, /* init = */ true);
|
|
|
|
if (typeof PDFJSDev !== "undefined" && PDFJSDev.test("MOZCENTRAL")) {
|
|
window.addEventListener("updatedPreference", evt => {
|
|
this.#updatePref(evt.detail);
|
|
});
|
|
}
|
|
}
|
|
);
|
|
}
|
|
|
|
/**
|
|
* Stub function for writing preferences to storage.
|
|
* @param {Object} prefObj The preferences that should be written to storage.
|
|
* @returns {Promise} A promise that is resolved when the preference values
|
|
* have been written.
|
|
*/
|
|
async _writeToStorage(prefObj) {
|
|
throw new Error("Not implemented: _writeToStorage");
|
|
}
|
|
|
|
/**
|
|
* Stub function for reading preferences from storage.
|
|
* @param {Object} prefObj The preferences that should be read from storage.
|
|
* @returns {Promise} A promise that is resolved with an {Object} containing
|
|
* the preferences that have been read.
|
|
*/
|
|
async _readFromStorage(prefObj) {
|
|
throw new Error("Not implemented: _readFromStorage");
|
|
}
|
|
|
|
#updatePref({ name, value }) {
|
|
if (typeof PDFJSDev === "undefined" || !PDFJSDev.test("MOZCENTRAL")) {
|
|
throw new Error("Not implemented: #updatePref");
|
|
}
|
|
|
|
if (name in this.#browserDefaults) {
|
|
if (typeof value !== typeof this.#browserDefaults[name]) {
|
|
return; // Invalid preference value.
|
|
}
|
|
} else if (name in this.#defaults) {
|
|
if (typeof value !== typeof this.#defaults[name]) {
|
|
return; // Invalid preference value.
|
|
}
|
|
this.#prefs[name] = value;
|
|
} else {
|
|
return; // Invalid preference.
|
|
}
|
|
AppOptions.set(name, value);
|
|
}
|
|
|
|
/**
|
|
* Reset the preferences to their default values and update storage.
|
|
* @returns {Promise} A promise that is resolved when the preference values
|
|
* have been reset.
|
|
*/
|
|
async reset() {
|
|
if (typeof PDFJSDev !== "undefined" && PDFJSDev.test("MOZCENTRAL")) {
|
|
throw new Error("Please use `about:config` to change preferences.");
|
|
}
|
|
await this.#initializedPromise;
|
|
const oldPrefs = structuredClone(this.#prefs);
|
|
|
|
this.#prefs = Object.create(null);
|
|
try {
|
|
await this._writeToStorage(this.#defaults);
|
|
} catch (reason) {
|
|
// Revert all preference values, since writing to storage failed.
|
|
this.#prefs = oldPrefs;
|
|
throw reason;
|
|
}
|
|
}
|
|
|
|
/**
|
|
* Set the value of a preference.
|
|
* @param {string} name The name of the preference that should be changed.
|
|
* @param {boolean|number|string} value The new value of the preference.
|
|
* @returns {Promise} A promise that is resolved when the value has been set,
|
|
* provided that the preference exists and the types match.
|
|
*/
|
|
async set(name, value) {
|
|
if (typeof PDFJSDev !== "undefined" && PDFJSDev.test("MOZCENTRAL")) {
|
|
throw new Error("Please use `about:config` to change preferences.");
|
|
}
|
|
await this.#initializedPromise;
|
|
const defaultValue = this.#defaults[name],
|
|
oldPrefs = structuredClone(this.#prefs);
|
|
|
|
if (defaultValue === undefined) {
|
|
throw new Error(`Set preference: "${name}" is undefined.`);
|
|
} else if (value === undefined) {
|
|
throw new Error("Set preference: no value is specified.");
|
|
}
|
|
const valueType = typeof value,
|
|
defaultType = typeof defaultValue;
|
|
|
|
if (valueType !== defaultType) {
|
|
if (valueType === "number" && defaultType === "string") {
|
|
value = value.toString();
|
|
} else {
|
|
throw new Error(
|
|
`Set preference: "${value}" is a ${valueType}, expected a ${defaultType}.`
|
|
);
|
|
}
|
|
} else if (valueType === "number" && !Number.isInteger(value)) {
|
|
throw new Error(`Set preference: "${value}" must be an integer.`);
|
|
}
|
|
|
|
this.#prefs[name] = value;
|
|
try {
|
|
await this._writeToStorage(this.#prefs);
|
|
} catch (reason) {
|
|
// Revert all preference values, since writing to storage failed.
|
|
this.#prefs = oldPrefs;
|
|
throw reason;
|
|
}
|
|
}
|
|
|
|
/**
|
|
* Get the value of a preference.
|
|
* @param {string} name The name of the preference whose value is requested.
|
|
* @returns {Promise} A promise resolved with a {boolean|number|string}
|
|
* containing the value of the preference.
|
|
*/
|
|
async get(name) {
|
|
if (typeof PDFJSDev !== "undefined" && PDFJSDev.test("MOZCENTRAL")) {
|
|
throw new Error("Not implemented: get");
|
|
}
|
|
await this.#initializedPromise;
|
|
const defaultValue = this.#defaults[name];
|
|
|
|
if (defaultValue === undefined) {
|
|
throw new Error(`Get preference: "${name}" is undefined.`);
|
|
}
|
|
return this.#prefs[name] ?? defaultValue;
|
|
}
|
|
|
|
get initializedPromise() {
|
|
return this.#initializedPromise;
|
|
}
|
|
}
|
|
|
|
export { BasePreferences };
|