rem: document.getElementById("searchFilter").value = value; 
add: if (value != this._value) { this._pb.setCharPref(this._pref, this._serializable.serialize(value)); var ps = this._pb.QueryInterface(Ci.nsIPrefService); ps.savePrefFile(null); } 
context:   set value(value) {    document.getElementById("searchFilter").value = value;    return value;  }
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/5bb24dd7110890cc87dd5c918b41df0d43e79183/places.js/buggy/browser/components/places/content/places.js