rem: if(parent.document.getElementById("toc").style.visibility = "visible");  
add: if(parent.currentNavFrame=="toc") { 
context: function onloadHandler(title){	parent.tocTitle=title;	if(parent.document.getElementById("toc").style.visibility = "visible");		// the frame is visible and is being replaced		parent.setToolbarTitle(title);}
meta: 10107	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10107/a3a487b3c35669cf029fdd4d0d70f44cfd6d773e/toc.js/buggy/org.eclipse.help.webapp/toc.js