diff --git a/extensions/firefox/components/PdfStreamConverter.js b/extensions/firefox/components/PdfStreamConverter.js index c6dab9ba7..7a308e75c 100644 --- a/extensions/firefox/components/PdfStreamConverter.js +++ b/extensions/firefox/components/PdfStreamConverter.js @@ -66,6 +66,9 @@ ChromeActions.prototype = { if (this.inPrivateBrowswing) return '{}'; return application.prefs.getValue(EXT_PREFIX + '.database', '{}'); + }, + pdfBugEnabled: function() { + return application.prefs.getValue(EXT_PREFIX + '.pdfBugEnabled', false); } }; diff --git a/web/viewer.js b/web/viewer.js index af1f287aa..67ef67e97 100644 --- a/web/viewer.js +++ b/web/viewer.js @@ -1182,7 +1182,8 @@ window.addEventListener('load', function webViewerLoad(evt) { if ('disableTextLayer' in hashParams) PDFJS.disableTextLayer = (hashParams['disableTextLayer'] === 'true'); - if ('pdfBug' in hashParams) { + if ('pdfBug' in hashParams && + (!PDFJS.isFirefoxExtension || FirefoxCom.request('pdfBugEnabled'))) { PDFJS.pdfBug = true; var pdfBug = hashParams['pdfBug']; var enabled = pdfBug.split(',');