rem: finder.caseSensitive = document.getElementById("find-case-sensitive").checked; 
add: finder.caseSensitive = this.shouldBeCaseSensitive(word); 
context:   highlightText: function (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;    var textFound = false;    while((retRange = finder.Find(word, this.mSearchRange,                                  this.mStartPt, this.mEndPt))) {      // Highlight      var nodeSurround = baseNode.cloneNode(true);      var node = this.highlight(retRange, nodeSurround);      this.mStartPt = node.ownerDocument.createRange();      this.mStartPt.setStart(node, node.childNodes.length);      this.mStartPt.setEnd(node, node.childNodes.length);      textFound = true;    }    this.mLastHighlightString = word;    return textFound;  },
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/c14a5a0deae668b78f3c3ff67f442b4117fb5a05/findBar.js/clean/toolkit/components/typeaheadfind/content/findBar.js