rem: if (gPrefService.prefHasUserValue(this.didSanitizeDomain)) gPrefService.clearUserPref(this.didSanitizeDomain)  this._os = Components.classes["@mozilla.org/observer-service;1"] .getService(Components.interfaces.nsIObserverService); this._os.addObserver(this, "quit-application-granted", false); 
add: if (gPrefService.prefHasUserValue(this.didSanitizeDomain)) { gPrefService.clearUserPref(this.didSanitizeDomain);     window.setTimeout(function() { gPrefService.savePrefFile(null); }, 1000); } 
context: function SanitizeListener(){  var pbi = gPrefService.QueryInterface(Components.interfaces.nsIPrefBranchInternal);  pbi.addObserver(this.promptDomain, this, false);  this._setSanitizeItem();  if (gPrefService.prefHasUserValue(this.didSanitizeDomain))    gPrefService.clearUserPref(this.didSanitizeDomain)  this._os = Components.classes["@mozilla.org/observer-service;1"]                       .getService(Components.interfaces.nsIObserverService);  this._os.addObserver(this, "quit-application-granted", false);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/75bd6815ef86cac6d040aabea0f9409557b3d76e/browser.js/buggy/browser/base/content/browser.js