diff options
| -rw-r--r-- | linkHints.js | 2 |
1 files changed, 1 insertions, 1 deletions
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 |