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);		UpdateBackForwardButtons();		}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/04f11bb86006f908756963d0a9848335c960d2b4/navigator.js/buggy/suite/browser/navigator.js