From 06d45da9eb4d8d9e4e8a01ac45d0b6c6fc7e57ca Mon Sep 17 00:00:00 2001
From: Bill Casarin
Date: Wed, 22 Sep 2010 23:13:24 -0400
Subject: Attempt to fix rare link hint bug

---
 linkHints.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/linkHints.js b/linkHints.js
index d55966f5..0023ea81 100644
--- a/linkHints.js
+++ b/linkHints.js
@@ -257,7 +257,7 @@ function highlightLinkMatches(searchString) {
 
   for (var i = 0; i < hintMarkers.length; i++) {
     var linkMarker = hintMarkers[i];
-    var matchedLink = linkMarker.getAttribute("linkText").indexOf(linkSearchString) >= 0;
+    var matchedLink = linkMarker.getAttribute("linkText").toLowerCase().indexOf(linkSearchString.toLowerCase()) >= 0;
     var matchedHintStart = linkMarker.getAttribute("hintString").indexOf(searchString) == 0;
 
     // if we're in narrow mode, make sure to designate a hint match only when 
-- 
cgit v1.2.3