diff options
| author | Georg Brandl <georg@python.org> | 2014-01-12 21:29:35 +0100 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2014-01-12 21:29:35 +0100 |
| commit | 4839e9f558e6f918e4c2aaf724439eba9d9903b0 (patch) | |
| tree | f5201d303c5e6232675c7f12806d2e66363174f3 /sphinx/themes/basic | |
| parent | 328eaabace02705e95389cf6cb964ba9dfba58f1 (diff) | |
| download | sphinx-4839e9f558e6f918e4c2aaf724439eba9d9903b0.tar.gz | |
Closes #1072: In the JS search, fix issues searching for upper-cased words by lowercasing words before stemming.
Diffstat (limited to 'sphinx/themes/basic')
| -rw-r--r-- | sphinx/themes/basic/static/searchtools.js_t | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/themes/basic/static/searchtools.js_t b/sphinx/themes/basic/static/searchtools.js_t index 26121366..523ecaaa 100644 --- a/sphinx/themes/basic/static/searchtools.js_t +++ b/sphinx/themes/basic/static/searchtools.js_t @@ -156,7 +156,7 @@ var Search = { continue; } // stem the word - var word = stemmer.stemWord(tmp[i]).toLowerCase(); + var word = stemmer.stemWord(tmp[i].toLowerCase()); var toAppend; // select the correct list if (word[0] == '-') { |