rem: NavToolbarFrame.document.navTitle.document.write(newTitle); 
add:  var navTitleLayerDoc = NavToolbarFrame.document.navTitle.document; navTitleLayerDoc.write('<!DOCTYPE HTML PUBLIC "- navTitleLayerDoc.write('<html><head>'); navTitleLayerDoc.write('<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">'); navTitleLayerDoc.write('</head>'); navTitleLayerDoc.write('<body style="background:#D4D0C8; font-weight:bold; margin:3px; text-indent:4px; padding-left:3px;">'); navTitleLayerDoc.write(newTitle); navTitleLayerDoc.write('</body></html>'); navTitleLayerDoc.close(); 
context: function switchTab(nav, newTitle){			// set the title on the navigation toolbar to match the tab  	if (!newTitle)  		newTitle = titleArray[nav];    NavToolbarFrame.document.navTitle.document.write(newTitle);        if (nav == "toc") {    	NavFrame.location = tocURL;    } else if (nav == "search") {    	NavFrame.location = searchURL;	}else if (nav == "links"){    	NavFrame.location = linksURL;    }        TabsFrame.location = "tabs.jsp?tab="+nav; 	/* 	// 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/da83212355a9ceb9fe76d18df56d9825c144a030/help.js/buggy/org.eclipse.help.webapp/ns4/help.js