rem: (NavFrame.toc.location.href == "about:blank" || NavFrame.toc.location.href.indexOf("tocs.jsp") >= 0 )) 
add: (NavFrame.toc.location.href == "about:blank" && NavFrame.document.getElementById("toc").src.indexOf("tocs.jsp") >= 0 || NavFrame.toc.location.href.indexOf("tocs.jsp") >= 0 )) 
context: function switchTab(nav, newTitle){	if (nav == lastTab) 		return;			lastTab = nav;		// set the title on the navigation toolbar to match the tab  	if (newTitle)     	NavToolbarFrame.document.getElementById("titleText").innerHTML = newTitle;    else    	NavToolbarFrame.document.getElementById("titleText").innerHTML = titleArray[nav];       		// show appropriate frame	this.currentNavFrame=nav; 	var iframes = NavFrame.document.body.getElementsByTagName("IFRAME"); 	for (var i=0; i<iframes.length; i++) 	{			  		if (iframes[i].id != nav)   			iframes[i].className = "hidden";  		else   			iframes[i].className = "visible"; 	}  	// show the appropriate pressed tab  	var buttons = TabsFrame.document.body.getElementsByTagName("TD");  	for (var i=0; i<buttons.length; i++)  	{  		if (buttons[i].id == (nav + "Tab")) // Note: assumes the same id shared by tabs and iframes			buttons[i].className = "pressed";		else if (buttons[i].className == "pressed")			buttons[i].className = "tab"; 	 } 	  	 if (nav == "toc" &&  	 	 (NavFrame.toc.location.href == "about:blank" || NavFrame.toc.location.href.indexOf("tocs.jsp") >= 0 )) 	 	showBookshelfIcon(false); 	 else 	 	showBookshelfIcon(true);}
meta: 10107	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10107/deff758b79254b9459294d1222f093cec4f204be/help.js/clean/org.eclipse.help.webapp/help.js