rem: UpdateBackForwardButtons(); } 
add: UpdateBackForwardButtons(); }, 
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: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/8d6e5d39f7dd3ab3dca7cd8be24615e3fe1bc96a/navigator.js/buggy/suite/browser/navigator.js