diff options
author | 2022-04-02 20:57:41 +0000 | |
---|---|---|
committer | 2022-04-02 20:57:41 +0000 | |
commit | bc97054b9f27985523823e1643b7a0d5febc8ee1 (patch) | |
tree | 9e3331500d3b404f4a1ec949bb2862289336f282 /_static/searchtools.js | |
parent | Deploying to docs from @ python-discord/bot-core@3732ccccbebf26da1678b24c1446... (diff) |
Deploying to docs from @ python-discord/bot-core@b31c793634113fc2e6213eb8597cef8423954a88 🚀
Diffstat (limited to '_static/searchtools.js')
-rw-r--r-- | _static/searchtools.js | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/_static/searchtools.js b/_static/searchtools.js index 2d778593..0a44e858 100644 --- a/_static/searchtools.js +++ b/_static/searchtools.js @@ -172,10 +172,6 @@ var Search = { } // stem the word var word = stemmer.stemWord(tmp[i].toLowerCase()); - // prevent stemmer from cutting word smaller than two chars - if(word.length < 3 && tmp[i].length >= 3) { - word = tmp[i]; - } var toAppend; // select the correct list if (word[0] == '-') { @@ -276,7 +272,7 @@ var Search = { setTimeout(function() { displayNextItem(); }, 5); - } else if (DOCUMENTATION_OPTIONS.HAS_SOURCE) { + } else if (DOCUMENTATION_OPTIONS.SHOW_SEARCH_SUMMARY) { $.ajax({url: requestUrl, dataType: "text", complete: function(jqxhr, textstatus) { @@ -293,7 +289,7 @@ var Search = { }, 5); }}); } else { - // no source available, just display title + // just display title Search.output.append(listItem); setTimeout(function() { displayNextItem(); |