rem:   locationFld.setAttribute("value", location); } 
add:   locationFld.setAttribute("value", location); } 
context: 	onLocationChange : function(location)  {		if(!locationFld)			locationFld = document.getElementById("urlbar");		// We should probably not do this if the value has changed since the user 		// searched		locationFld.setAttribute("value", location);  }
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/81b79072cbf195bb7d40d752aa52899dc9220b04/mini-nav.js/buggy/embedding/browser/chrome/content/mini-nav.js