preferences.js 4.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154
  1. /**
  2. * @licstart The following is the entire license notice for the
  3. * Javascript code in this page
  4. *
  5. * Copyright 2020 Mozilla Foundation
  6. *
  7. * Licensed under the Apache License, Version 2.0 (the "License");
  8. * you may not use this file except in compliance with the License.
  9. * You may obtain a copy of the License at
  10. *
  11. * http://www.apache.org/licenses/LICENSE-2.0
  12. *
  13. * Unless required by applicable law or agreed to in writing, software
  14. * distributed under the License is distributed on an "AS IS" BASIS,
  15. * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  16. * See the License for the specific language governing permissions and
  17. * limitations under the License.
  18. *
  19. * @licend The above is the entire license notice for the
  20. * Javascript code in this page
  21. */
  22. "use strict";
  23. Object.defineProperty(exports, "__esModule", {
  24. value: true
  25. });
  26. exports.BasePreferences = void 0;
  27. var _app_options = require("./app_options.js");
  28. class BasePreferences {
  29. constructor() {
  30. if (this.constructor === BasePreferences) {
  31. throw new Error("Cannot initialize BasePreferences.");
  32. }
  33. Object.defineProperty(this, "defaults", {
  34. value: Object.freeze({
  35. "cursorToolOnLoad": 0,
  36. "defaultZoomValue": "",
  37. "disablePageLabels": false,
  38. "enablePermissions": false,
  39. "enablePrintAutoRotate": false,
  40. "enableScripting": false,
  41. "enableWebGL": false,
  42. "externalLinkTarget": 0,
  43. "historyUpdateUrl": false,
  44. "ignoreDestinationZoom": false,
  45. "pdfBugEnabled": false,
  46. "renderer": "canvas",
  47. "renderInteractiveForms": true,
  48. "sidebarViewOnLoad": -1,
  49. "scrollModeOnLoad": -1,
  50. "spreadModeOnLoad": -1,
  51. "textLayerMode": 1,
  52. "useOnlyCssZoom": false,
  53. "viewerCssTheme": 0,
  54. "viewOnLoad": 0,
  55. "disableAutoFetch": false,
  56. "disableFontFace": false,
  57. "disableRange": false,
  58. "disableStream": false
  59. }),
  60. writable: false,
  61. enumerable: true,
  62. configurable: false
  63. });
  64. this.prefs = Object.assign(Object.create(null), this.defaults);
  65. this._initializedPromise = this._readFromStorage(this.defaults).then(prefs => {
  66. if (!prefs) {
  67. return;
  68. }
  69. for (const name in prefs) {
  70. const defaultValue = this.defaults[name],
  71. prefValue = prefs[name];
  72. if (defaultValue === undefined || typeof prefValue !== typeof defaultValue) {
  73. continue;
  74. }
  75. this.prefs[name] = prefValue;
  76. }
  77. });
  78. }
  79. async _writeToStorage(prefObj) {
  80. throw new Error("Not implemented: _writeToStorage");
  81. }
  82. async _readFromStorage(prefObj) {
  83. throw new Error("Not implemented: _readFromStorage");
  84. }
  85. async reset() {
  86. await this._initializedPromise;
  87. this.prefs = Object.assign(Object.create(null), this.defaults);
  88. return this._writeToStorage(this.defaults);
  89. }
  90. async set(name, value) {
  91. await this._initializedPromise;
  92. const defaultValue = this.defaults[name];
  93. if (defaultValue === undefined) {
  94. throw new Error(`Set preference: "${name}" is undefined.`);
  95. } else if (value === undefined) {
  96. throw new Error("Set preference: no value is specified.");
  97. }
  98. const valueType = typeof value;
  99. const defaultType = typeof defaultValue;
  100. if (valueType !== defaultType) {
  101. if (valueType === "number" && defaultType === "string") {
  102. value = value.toString();
  103. } else {
  104. throw new Error(`Set preference: "${value}" is a ${valueType}, ` + `expected a ${defaultType}.`);
  105. }
  106. } else {
  107. if (valueType === "number" && !Number.isInteger(value)) {
  108. throw new Error(`Set preference: "${value}" must be an integer.`);
  109. }
  110. }
  111. this.prefs[name] = value;
  112. return this._writeToStorage(this.prefs);
  113. }
  114. async get(name) {
  115. await this._initializedPromise;
  116. const defaultValue = this.defaults[name];
  117. if (defaultValue === undefined) {
  118. throw new Error(`Get preference: "${name}" is undefined.`);
  119. } else {
  120. const prefValue = this.prefs[name];
  121. if (prefValue !== undefined) {
  122. return prefValue;
  123. }
  124. }
  125. return defaultValue;
  126. }
  127. async getAll() {
  128. await this._initializedPromise;
  129. return Object.assign(Object.create(null), this.defaults, this.prefs);
  130. }
  131. }
  132. exports.BasePreferences = BasePreferences;