rem: var tree = document.getElementById("help-toc-tree"); 
add: var tree = document.getElementById("help-toc-panel"); 
context: function doFind() {  var searchTree = document.getElementById("help-search-tree");  var findText = document.getElementById("findText");  // clear any previous results.  clearDatabases(searchTree.database);  // split search string into separate terms and compile into regexp's  RE = findText.value.split(/\s+/);  for (var i=0; i < RE.length; ++i) {    if (RE[i] == "")      continue;    if (RE[i].length > 3) {        RE[i] = new RegExp(RE[i].substring(0, RE[i].length-1) +"\w?", "i");    } else {        RE[i] = new RegExp(RE[i], "i");    }  } emptySearch = true;  // search TOC  var resultsDS =  Components.classes["@mozilla.org/rdf/datasource;1?name=in-memory-datasource"].createInstance(Components.interfaces.nsIRDFDataSource);  var tree = document.getElementById("help-toc-tree");  var sourceDS = tree.database;  doFindOnDatasource(resultsDS, sourceDS, RDF_ROOT, 0);  // search additional search datasources  if (searchDatasources != "rdf:null") {    if (!searchDS)      searchDS = loadCompositeDS(searchDatasources);    doFindOnDatasource(resultsDS, searchDS, RDF_ROOT, 0);  }  // search index.  tree = document.getElementById("help-index-tree");  sourceDS = tree.database;  if (!sourceDS) // If the index has never been displayed this will be null.    sourceDS = loadCompositeDS(tree.datasources);  doFindOnDatasource(resultsDS, sourceDS, RDF_ROOT, 0);  // search glossary.  tree = document.getElementById("help-glossary-tree");  sourceDS = tree.database;  if (!sourceDS) // If the glossary has never been displayed this will be null (sigh!).    sourceDS = loadCompositeDS(tree.datasources);  doFindOnDatasource(resultsDS, sourceDS, RDF_ROOT, 0);  if (emptySearch)		assertSearchEmpty(resultsDS);  // Add the datasource to the search tree  searchTree.database.AddDataSource(resultsDS);  searchTree.builder.rebuild();}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/f91676a4d4b1b486ae07840242de6454be0598d0/help.js/clean/extensions/help/resources/content/help.js