rem: { if(!locationFld) locationFld = document.getElementById("urlbar"); 
add: { if(!locationFld) locationFld = document.getElementById("urlbar"); 
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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/574ea4ead59d3d434f57f33cf9032ad4ec4b903c/mini-nav.js/buggy/embedding/browser/chrome/content/mini-nav.js