| ');
showList(doc, node);
doc.writeln(' | ');
if (IsShowDescs)
showDescs(doc, node);
doc.writeln(' |
');
if (IsShowDescs)
doc.writeln(helpH);
}
function debug(t, leaveOpen)
{
window.defaultStatus = t;
if (!self.term)
return;
var doc = self.term.document;
doc.open();
doc.writeln(t);
if (leaveOpen!=true)
doc.close();
}
function loaded(name)
{
if (lastloaded != name)
{
if (lastselected)
setS(lastselected, false);
select(root, name);
mkIdxNow();
lastloaded=name;
}
}
function mkIdxNow()
{
if (!self.map)
return;
var doc = map.document;
if (doc)
{
doc.open();
doc.writeln(bodyText);
show(doc, root);
doc.close();
}
}
//A bug in Netscape 3 means that a page cannot be dynamically created correctly
//a function call made from within the page itself. (Because when the page has
// been redrawn the function has nowhere to return to - I guess)
// A trick to avoid this happening is to set a short timer, after which the
// function is called from some global scope.
function mkIdx()
{
setTimeout('mkIdxNow()',50);
}
// Create an array
function array(n)
{
this.length=n;
return this;
}
// Calculates indentation for each node.
function indentTree(o,i)
{
o.tab=i;
for(var k=0; k
';
var fold0H = '
';
var fold1H = '
';
var baseSite = '';
var allowHighLights = true;
var S=1; // Selected
var X=2; // eXpanded
function isX(o) { return o.flags&X; }
function setX(o,b) { if (b) o.flags |= X; else o.flags &= ~X; }
function isS(o) { return o.flags&S; }
function setS(o,b) { if (b) o.flags |= S; else o.flags &= ~S; }
function isF(o) { return o.kids.length>0; }
function isNetscape() { return (navigator.appName.indexOf('Netscape') != -1); }
// Builds a HTML text to display a single node in the tree
// o is the node, i is the indent size
function buildH(o)
{
// Indent
var res='