From 89cd85d06c0b8eb1d3a511e458cf2c04e4ffbc44 Mon Sep 17 00:00:00 2001
From: Doug Kearns <dougkearns@gmail.com>
Date: Sun, 9 Sep 2007 10:22:53 +0000
Subject: [PATCH] fix case sensitivity of search highlighting -
 gFindBar.setCaseSensitivity() in FF2 does not set the preference as
 _setCaseSensitivity() does in FF3

---
 chrome/content/vimperator/find.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/chrome/content/vimperator/find.js b/chrome/content/vimperator/find.js
index 913c3842..417300b7 100644
--- a/chrome/content/vimperator/find.js
+++ b/chrome/content/vimperator/find.js
@@ -205,7 +205,10 @@ function Search() //{{{
         if (!word)
             word = lastsearch;
 
-        gFindBar.setCaseSensitivity(case_sensitive)
+        // NOTE: setCaseSensitivity() in FF2 does NOT set the
+        // accessibility.typeaheadfind.casesensitive pref as needed by
+        // highlightDoc()
+        gFindBar.mTypeAheadCaseSensitive = case_sensitive ? 1 : 0;
         gFindBar.highlightDoc("yellow", "black", word);
     }