2013-11-19 07:51:06 +09:00
|
|
|
/* 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.
|
|
|
|
*/
|
|
|
|
|
2017-05-05 21:04:08 +09:00
|
|
|
import { cloneObj } from './ui_utils';
|
|
|
|
|
2017-01-10 23:33:32 +09:00
|
|
|
var defaultPreferences = null;
|
|
|
|
function getDefaultPreferences() {
|
|
|
|
if (!defaultPreferences) {
|
|
|
|
if (typeof PDFJSDev !== 'undefined' && PDFJSDev.test('PRODUCTION')) {
|
|
|
|
defaultPreferences = Promise.resolve(
|
|
|
|
PDFJSDev.json('$ROOT/web/default_preferences.json'));
|
|
|
|
} else {
|
|
|
|
defaultPreferences = new Promise(function (resolve) {
|
|
|
|
var xhr = new XMLHttpRequest();
|
|
|
|
xhr.open('GET', 'default_preferences.json');
|
|
|
|
xhr.onload = xhr.onerror = function loaded() {
|
|
|
|
try {
|
|
|
|
resolve(JSON.parse(xhr.responseText));
|
|
|
|
} catch (e) {
|
2017-04-17 20:21:11 +09:00
|
|
|
console.error(`Unable to load default preferences: ${e}`);
|
2017-01-10 23:33:32 +09:00
|
|
|
resolve({});
|
|
|
|
}
|
|
|
|
};
|
|
|
|
xhr.send();
|
|
|
|
});
|
2016-05-12 07:58:17 +09:00
|
|
|
}
|
2017-01-10 23:33:32 +09:00
|
|
|
}
|
|
|
|
return defaultPreferences;
|
2016-10-15 00:57:53 +09:00
|
|
|
}
|
2016-05-12 07:58:17 +09:00
|
|
|
|
2014-03-17 06:33:39 +09:00
|
|
|
/**
|
2017-04-17 20:21:11 +09:00
|
|
|
* BasePreferences - Abstract base class for storing persistent settings.
|
2014-03-17 06:33:39 +09:00
|
|
|
* Used for settings that should be applied to all opened documents,
|
|
|
|
* or every time the viewer is loaded.
|
|
|
|
*/
|
2017-04-17 20:21:11 +09:00
|
|
|
class BasePreferences {
|
|
|
|
constructor() {
|
|
|
|
if (this.constructor === BasePreferences) {
|
|
|
|
throw new Error('Cannot initialize BasePreferences.');
|
|
|
|
}
|
|
|
|
this.prefs = null;
|
2016-05-12 07:58:17 +09:00
|
|
|
|
2017-04-17 20:21:11 +09:00
|
|
|
this._initializedPromise = getDefaultPreferences().then((defaults) => {
|
2016-05-12 07:58:17 +09:00
|
|
|
Object.defineProperty(this, 'defaults', {
|
|
|
|
value: Object.freeze(defaults),
|
|
|
|
writable: false,
|
|
|
|
enumerable: true,
|
Fix inconsistent spacing and trailing commas in objects in `web/` files, so we can enable the `comma-dangle` and `object-curly-spacing` ESLint rules later on
http://eslint.org/docs/rules/comma-dangle
http://eslint.org/docs/rules/object-curly-spacing
Given that we currently have quite inconsistent object formatting, fixing this in in *one* big patch probably wouldn't be feasible (since I cannot imagine anyone wanting to review that); hence I've opted to try and do this piecewise instead.
*Please note:* This patch was created automatically, using the ESLint `--fix` command line option. In a couple of places this caused lines to become too long, and I've fixed those manually; please refer to the interdiff below for the only hand-edits in this patch.
```diff
diff --git a/web/pdf_thumbnail_view.js b/web/pdf_thumbnail_view.js
index 002dbf29..1de4e530 100644
--- a/web/pdf_thumbnail_view.js
+++ b/web/pdf_thumbnail_view.js
@@ -420,8 +420,8 @@ var PDFThumbnailView = (function PDFThumbnailViewClosure() {
setPageLabel: function PDFThumbnailView_setPageLabel(label) {
this.pageLabel = (typeof label === 'string' ? label : null);
- this.l10n.get('thumb_page_title', { page: this.pageId, }, 'Page {{page}}').
- then((msg) => {
+ this.l10n.get('thumb_page_title', { page: this.pageId, },
+ 'Page {{page}}').then((msg) => {
this.anchor.title = msg;
});
diff --git a/web/secondary_toolbar.js b/web/secondary_toolbar.js
index 160e0410..6495fc5e 100644
--- a/web/secondary_toolbar.js
+++ b/web/secondary_toolbar.js
@@ -65,7 +65,8 @@ class SecondaryToolbar {
{ element: options.printButton, eventName: 'print', close: true, },
{ element: options.downloadButton, eventName: 'download', close: true, },
{ element: options.viewBookmarkButton, eventName: null, close: true, },
- { element: options.firstPageButton, eventName: 'firstpage', close: true, },
+ { element: options.firstPageButton, eventName: 'firstpage',
+ close: true, },
{ element: options.lastPageButton, eventName: 'lastpage', close: true, },
{ element: options.pageRotateCwButton, eventName: 'rotatecw',
close: false, },
@@ -76,7 +77,7 @@ class SecondaryToolbar {
{ element: options.cursorHandToolButton, eventName: 'switchcursortool',
eventDetails: { tool: CursorTool.HAND, }, close: true, },
{ element: options.documentPropertiesButton,
- eventName: 'documentproperties', close: true, }
+ eventName: 'documentproperties', close: true, },
];
this.items = {
firstPage: options.firstPageButton,
```
2017-06-01 19:46:12 +09:00
|
|
|
configurable: false,
|
2016-05-12 07:58:17 +09:00
|
|
|
});
|
|
|
|
|
|
|
|
this.prefs = cloneObj(defaults);
|
|
|
|
return this._readFromStorage(defaults);
|
2017-04-17 20:21:11 +09:00
|
|
|
}).then((prefObj) => {
|
2014-03-17 06:33:39 +09:00
|
|
|
if (prefObj) {
|
|
|
|
this.prefs = prefObj;
|
|
|
|
}
|
2017-04-17 20:21:11 +09:00
|
|
|
});
|
|
|
|
}
|
2014-03-17 06:33:39 +09:00
|
|
|
|
|
|
|
/**
|
|
|
|
* Stub function for writing preferences to storage.
|
|
|
|
* @param {Object} prefObj The preferences that should be written to storage.
|
|
|
|
* @return {Promise} A promise that is resolved when the preference values
|
|
|
|
* have been written.
|
|
|
|
*/
|
2017-04-17 20:21:11 +09:00
|
|
|
_writeToStorage(prefObj) {
|
|
|
|
return Promise.reject(new Error('Not implemented: _writeToStorage'));
|
|
|
|
}
|
2014-03-17 06:33:39 +09:00
|
|
|
|
|
|
|
/**
|
|
|
|
* Stub function for reading preferences from storage.
|
|
|
|
* @param {Object} prefObj The preferences that should be read from storage.
|
|
|
|
* @return {Promise} A promise that is resolved with an {Object} containing
|
|
|
|
* the preferences that have been read.
|
|
|
|
*/
|
2017-04-17 20:21:11 +09:00
|
|
|
_readFromStorage(prefObj) {
|
|
|
|
return Promise.reject(new Error('Not implemented: _readFromStorage'));
|
|
|
|
}
|
2014-03-17 06:33:39 +09:00
|
|
|
|
|
|
|
/**
|
|
|
|
* Reset the preferences to their default values and update storage.
|
|
|
|
* @return {Promise} A promise that is resolved when the preference values
|
|
|
|
* have been reset.
|
|
|
|
*/
|
2017-04-17 20:21:11 +09:00
|
|
|
reset() {
|
|
|
|
return this._initializedPromise.then(() => {
|
2016-05-12 07:58:17 +09:00
|
|
|
this.prefs = cloneObj(this.defaults);
|
|
|
|
return this._writeToStorage(this.defaults);
|
2017-04-17 20:21:11 +09:00
|
|
|
});
|
|
|
|
}
|
2014-03-17 06:33:39 +09:00
|
|
|
|
|
|
|
/**
|
|
|
|
* Replace the current preference values with the ones from storage.
|
|
|
|
* @return {Promise} A promise that is resolved when the preference values
|
|
|
|
* have been updated.
|
|
|
|
*/
|
2017-04-17 20:21:11 +09:00
|
|
|
reload() {
|
|
|
|
return this._initializedPromise.then(() => {
|
|
|
|
return this._readFromStorage(this.defaults);
|
|
|
|
}).then((prefObj) => {
|
|
|
|
if (prefObj) {
|
|
|
|
this.prefs = prefObj;
|
|
|
|
}
|
|
|
|
});
|
|
|
|
}
|
2013-11-19 07:51:06 +09:00
|
|
|
|
2014-03-17 06:33:39 +09:00
|
|
|
/**
|
|
|
|
* 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.
|
|
|
|
* @return {Promise} A promise that is resolved when the value has been set,
|
|
|
|
* provided that the preference exists and the types match.
|
|
|
|
*/
|
2017-04-17 20:21:11 +09:00
|
|
|
set(name, value) {
|
|
|
|
return this._initializedPromise.then(() => {
|
2016-05-12 07:58:17 +09:00
|
|
|
if (this.defaults[name] === undefined) {
|
2017-04-17 20:21:11 +09:00
|
|
|
throw new Error(`Set preference: "${name}" is undefined.`);
|
2013-11-19 07:51:06 +09:00
|
|
|
} else if (value === undefined) {
|
2017-04-17 20:21:11 +09:00
|
|
|
throw new Error('Set preference: no value is specified.');
|
2013-11-19 07:51:06 +09:00
|
|
|
}
|
|
|
|
var valueType = typeof value;
|
2016-05-12 07:58:17 +09:00
|
|
|
var defaultType = typeof this.defaults[name];
|
2013-11-19 07:51:06 +09:00
|
|
|
|
|
|
|
if (valueType !== defaultType) {
|
|
|
|
if (valueType === 'number' && defaultType === 'string') {
|
|
|
|
value = value.toString();
|
|
|
|
} else {
|
2017-04-17 20:21:11 +09:00
|
|
|
throw new Error(`Set preference: "${value}" is a ${valueType}, ` +
|
|
|
|
`expected a ${defaultType}.`);
|
2013-11-19 07:51:06 +09:00
|
|
|
}
|
2014-01-31 02:09:31 +09:00
|
|
|
} else {
|
2017-09-03 20:08:50 +09:00
|
|
|
if (valueType === 'number' && !Number.isInteger(value)) {
|
2017-04-17 20:21:11 +09:00
|
|
|
throw new Error(`Set preference: "${value}" must be an integer.`);
|
2014-01-31 02:09:31 +09:00
|
|
|
}
|
2013-11-19 07:51:06 +09:00
|
|
|
}
|
|
|
|
this.prefs[name] = value;
|
2014-03-17 06:33:39 +09:00
|
|
|
return this._writeToStorage(this.prefs);
|
2017-04-17 20:21:11 +09:00
|
|
|
});
|
|
|
|
}
|
2013-11-19 07:51:06 +09:00
|
|
|
|
2014-03-17 06:33:39 +09:00
|
|
|
/**
|
|
|
|
* Get the value of a preference.
|
|
|
|
* @param {string} name The name of the preference whose value is requested.
|
|
|
|
* @return {Promise} A promise that is resolved with a {boolean|number|string}
|
|
|
|
* containing the value of the preference.
|
|
|
|
*/
|
2017-04-17 20:21:11 +09:00
|
|
|
get(name) {
|
|
|
|
return this._initializedPromise.then(() => {
|
2016-05-12 07:58:17 +09:00
|
|
|
var defaultValue = this.defaults[name];
|
2013-11-19 07:51:06 +09:00
|
|
|
|
2014-03-17 06:33:39 +09:00
|
|
|
if (defaultValue === undefined) {
|
2017-04-17 20:21:11 +09:00
|
|
|
throw new Error(`Get preference: "${name}" is undefined.`);
|
2014-03-17 06:33:39 +09:00
|
|
|
} else {
|
|
|
|
var prefValue = this.prefs[name];
|
2013-11-19 07:51:06 +09:00
|
|
|
|
2014-03-17 06:33:39 +09:00
|
|
|
if (prefValue !== undefined) {
|
|
|
|
return prefValue;
|
2013-11-19 07:51:06 +09:00
|
|
|
}
|
|
|
|
}
|
2014-03-17 06:33:39 +09:00
|
|
|
return defaultValue;
|
2016-10-15 00:57:53 +09:00
|
|
|
});
|
2017-04-17 20:21:11 +09:00
|
|
|
}
|
2016-10-15 00:57:53 +09:00
|
|
|
}
|
2016-04-09 02:34:27 +09:00
|
|
|
|
2017-03-28 08:07:27 +09:00
|
|
|
export {
|
2017-04-17 20:21:11 +09:00
|
|
|
BasePreferences,
|
2017-03-28 08:07:27 +09:00
|
|
|
};
|