rem: this.observe(pref, "nsPref:changed", array[i]); 
add: this.updateButton(array[i]); this.updateSeparator(); 
context:   init: function()  {    var array = pref.getChildList(this.domain, {});    for (var i in array)      this.observe(pref, "nsPref:changed", array[i]);  },
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/80ffb9f963f7882c79615219830b4cebbf099253/navigator.js/buggy/xpfe/browser/resources/content/navigator.js