rem: */ 
add: */ 
context: function switchTab(nav, title){			// set the title on the navigation toolbar to match the tab	/*  	if (title)     	NavToolbarFrame.document.titleText.document.write(title);    else    	NavToolbarFrame.document.titleText.document.write(titleArray[nav]);    */    	    if (nav == "toc") {    	NavFrame.location = tocURL;    } else if (nav == "search") {    	NavFrame.location = searchURL;	}else if (nav == "links"){    	NavFrame.location = linksURL;    } 	 /* 	// 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 layers			buttons[i].className = "pressed";		else if (buttons[i].className == "pressed")			buttons[i].className = "tab"; 	 } 	 */}
meta: 10107	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10107/c917128d2ff3aa71e87946d5c7250c09dc505ec7/help.js/buggy/org.eclipse.help.webapp/ns4/help.js