mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-19 22:58:07 +02:00
Code Activity

Merge pull request #16583 from Snuffleupagus/Firefox-disable-pref-changes

Browse source 
[Firefox] Disable the ability to change preferences directly from the viewer
This commit is contained in:
Jonas Jenwald 2023-06-21 21:07:28 +02:00 • committed by GitHub
commit 24b2c3a5e3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 8 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

8
web/firefoxcom.js
View file

@ -174,13 +174,9 @@ class DownloadManager {
}
class FirefoxPreferences extends BasePreferences {
async _writeToStorage(prefObj) {
return FirefoxCom.requestAsync("setPreferences", prefObj);
}
async _readFromStorage(prefObj) {
const prefStr = await FirefoxCom.requestAsync("getPreferences", prefObj);
return JSON.parse(prefStr);
const prefs = await FirefoxCom.requestAsync("getPreferences", prefObj);
return typeof prefs === "string" ? JSON.parse(prefs) : prefs;
}
}

6
web/preferences.js
View file

@ -83,6 +83,9 @@ class BasePreferences {
* 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 prefs = this.#prefs;
@ -102,6 +105,9 @@ class BasePreferences {
* 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],
prefs = this.#prefs;