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/c61b7947185823a06c1dc122cf9fd6229168b90c/navigator.js/buggy/suite/browser/navigator.js