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); }