Browse Source

Add pdfBugEnabled to the default preferences

Jonas Jenwald 11 years ago
parent
commit
1ba31a6cb7
  1. 3
      extensions/firefox/content/PdfStreamConverter.jsm
  2. 1
      web/default_preferences.js
  3. 5
      web/viewer.js

3
extensions/firefox/content/PdfStreamConverter.jsm

@ -348,9 +348,6 @@ ChromeActions.prototype = {
return 'null'; return 'null';
} }
}, },
pdfBugEnabled: function() {
return getBoolPref(PREF_PREFIX + '.pdfBugEnabled', false);
},
supportsIntegratedFind: function() { supportsIntegratedFind: function() {
// Integrated find is only supported when we're not in a frame // Integrated find is only supported when we're not in a frame
if (this.domWindow.frameElement !== null) { if (this.domWindow.frameElement !== null) {

1
web/default_preferences.js

@ -24,6 +24,7 @@ var DEFAULT_PREFERENCES = {
sidebarViewOnLoad: 0, sidebarViewOnLoad: 0,
enableHandToolOnLoad: false, enableHandToolOnLoad: false,
enableWebGL: false, enableWebGL: false,
pdfBugEnabled: false,
disableRange: false, disableRange: false,
disableAutoFetch: false, disableAutoFetch: false,
disableFontFace: false, disableFontFace: false,

5
web/viewer.js

@ -228,6 +228,9 @@ var PDFView = {
Preferences.get('sidebarViewOnLoad').then(function resolved(value) { Preferences.get('sidebarViewOnLoad').then(function resolved(value) {
self.preferenceSidebarViewOnLoad = value; self.preferenceSidebarViewOnLoad = value;
}), }),
Preferences.get('pdfBugEnabled').then(function resolved(value) {
self.preferencesPdfBugEnabled = value;
}),
Preferences.get('disableTextLayer').then(function resolved(value) { Preferences.get('disableTextLayer').then(function resolved(value) {
if (PDFJS.disableTextLayer === true) { if (PDFJS.disableTextLayer === true) {
return; return;
@ -1810,7 +1813,7 @@ function webViewerInitialized() {
//#if !(FIREFOX || MOZCENTRAL) //#if !(FIREFOX || MOZCENTRAL)
if ('pdfBug' in hashParams) { if ('pdfBug' in hashParams) {
//#else //#else
//if ('pdfBug' in hashParams && FirefoxCom.requestSync('pdfBugEnabled')) { //if ('pdfBug' in hashParams && PDFView.preferencesPdfBugEnabled) {
//#endif //#endif
PDFJS.pdfBug = true; PDFJS.pdfBug = true;
var pdfBug = hashParams['pdfBug']; var pdfBug = hashParams['pdfBug'];

Loading…
Cancel
Save