Issue 1682: don't use FUEL in pdf.js

This commit is contained in:
Gavin Sharp 2012-05-09 17:04:52 -07:00
parent adbe74c7a6
commit b607147368
2 changed files with 45 additions and 11 deletions

View file

@ -10,13 +10,26 @@ let Cc = Components.classes;
let Ci = Components.interfaces;
let Cm = Components.manager;
let Cu = Components.utils;
let application = Cc['@mozilla.org/fuel/application;1']
.getService(Ci.fuelIApplication);
Cu.import('resource://gre/modules/Services.jsm');
function getBoolPref(pref, default) {
try {
return Services.prefs.getBoolPref(pref);
} catch (ex) {
return default;
}
}
function setStringPref(pref, value) {
let str = Cc["@mozilla.org/supports-string;1"]
.createInstance(Ci.nsISupportsString);
str.data = value;
Services.prefs.setComplexValue(pref, Ci.nsISupportsString, str);
}
function log(str) {
if (!application.prefs.getValue(EXT_PREFIX + '.pdfBugEnabled', false))
if (!getBoolPref(EXT_PREFIX + '.pdfBugEnabled', false))
return;
dump(str + '\n');
}
@ -93,6 +106,6 @@ function install(aData, aReason) {
}
function uninstall(aData, aReason) {
application.prefs.setValue(EXT_PREFIX + '.database', '{}');
setStringPref(EXT_PREFIX + '.database', '{}');
}