diff options
author | Daniel Hofmann <hofmann@axivion.com> | 2020-08-19 17:41:20 +0300 |
---|---|---|
committer | Daniel Hofmann <hofmann@axivion.com> | 2020-08-19 19:01:27 +0300 |
commit | 3e479d772bbf084ccf1fa4f46af05e2762231e24 (patch) | |
tree | 2b61274a311c4c4e8c604ff057652cb48b78f873 /karma.conf.js | |
parent | fabe685638c7f8fa24b3b0a44ac264cff5f1d160 (diff) |
Closes #8123: Fix plus-handling (+) in search terms for basic html theme search
Note, that the default splitter will not index +, so this isn't of much of much use, unless
the splitter of the search-language is reconfigured.
Diffstat (limited to 'karma.conf.js')
-rw-r--r-- | karma.conf.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/karma.conf.js b/karma.conf.js index d0c11aa21..82be18a71 100644 --- a/karma.conf.js +++ b/karma.conf.js @@ -18,6 +18,7 @@ module.exports = function(config) { 'sphinx/themes/basic/static/underscore.js', 'sphinx/themes/basic/static/jquery.js', 'sphinx/themes/basic/static/doctools.js', + 'sphinx/themes/basic/static/searchtools.js', 'tests/js/*.js' ], |