rem: highlightDoc(null, null); 
add: highlightDoc(null, null, null); 
context: function toggleHighlight(aHighlight){  var word = document.getElementById("find-field").value;  if (aHighlight) {    highlightDoc('yellow', word);  } else {    highlightDoc(null, null);    gLastHighlightString = null;  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/53e651300a87508a741951ee759634d700f930c8/findBar.js/clean/toolkit/components/typeaheadfind/content/findBar.js