yetangitu/pdf.js
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Moves DEFAULT_PREFENCES into JSON format.

Browse source
This commit is contained in:
Yury Delendik 2016-05-11 17:58:17 -05:00
parent c1c199d702
commit df10513e10
9 changed files with 143 additions and 41 deletions
Download patch file Download diff file Expand all files Collapse all files

9
extensions/firefox/bootstrap.js vendored
View file

@ -14,8 +14,7 @@
*/
/* jshint esnext:true */
/* globals Components, Services, dump, XPCOMUtils, PdfStreamConverter,
APP_SHUTDOWN, PdfjsChromeUtils, PdfjsContentUtils,
DEFAULT_PREFERENCES */
APP_SHUTDOWN, PdfjsChromeUtils, PdfjsContentUtils */
'use strict';
@ -47,7 +46,11 @@ function log(str) {
}
function initializeDefaultPreferences() {
//#include ../../web/default_preferences.js
var DEFAULT_PREFERENCES =
//#include ../../web/default_preferences.json
//#if false
'end of DEFAULT_PREFERENCES';
//#endif
var defaultBranch = Services.prefs.getDefaultBranch(EXT_PREFIX + '.');
var defaultValue;