rem: finder.caseSensitive = document.getElementById("find-case-sensitive").checked; 
add: finder.caseSensitive = document.getElementById("find-case-sensitive").checked; 
context: function highlightText(word, baseNode){  var retRange = null;  var finder = Components.classes["@mozilla.org/embedcomp/rangefind;1"].createInstance()                         .QueryInterface(Components.interfaces.nsIFind);  finder.caseSensitive = document.getElementById("find-case-sensitive").checked;  while((retRange = finder.Find(word, searchRange, startPt, endPt))) {    // Highlight    var nodeSurround = baseNode.cloneNode(true);    var node = highlight(retRange, nodeSurround);    startPt = node.ownerDocument.createRange();    startPt.setStart(node, node.childNodes.length);    startPt.setEnd(node, node.childNodes.length);  }    gLastHighlightString = word;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/48b90c32357104d6984ad568a01e4a0d86fd530d/findBar.js/clean/toolkit/components/typeaheadfind/content/findBar.js