log_level=0 | |
#banner=/org.eclipse.help.webapp/banner.html | |
#banner_height=45 | |
help_home=/org.eclipse.help/doc/help_home.html | |
linksView=true | |
baseTOCS= /org.eclipse.platform.doc.user/toc.xml,\ | |
/org.eclipse.jdt.doc.user/toc.xml,\ | |
/org.eclipse.platform.doc.isv/toc.xml,\ | |
/org.eclipse.jdt.doc.isv/toc.xml,\ | |
/org.eclipse.pde.doc.user/toc.xml |