rem: if(parent.args && parent.args["tab"]=="toc") 
add: parent.tocTitle=title; if(parent.document.getElementById("toc").style.visibility = "visible");  
context: function onloadHandler(title){	if(parent.args && parent.args["tab"]=="toc")		parent.setToolbarTitle(title);}
meta: 10107	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10107/df17b5ce329612abc4b436876636dfedb8c6ddff/toc.js/clean/org.eclipse.help.webapp/toc.js