mirror of
https://github.com/mozilla/pdf.js.git
synced 2025-04-28 23:28:16 +02:00
Merge pull request #1337 from brendandahl/debugpref
Only enable pdfDebug for the extension if a pref is set.
This commit is contained in:
commit
24e48d382d
2 changed files with 5 additions and 1 deletions
|
@ -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);
|
||||
}
|
||||
};
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue