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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/277d7eb1e5de276ed118d2762eab8ab3d1ff4e90/navigator.js/buggy/suite/browser/navigator.js