From 0d80bffe488da6d5b7b575b964f92adde5026e3e Mon Sep 17 00:00:00 2001 From: Eric Larson Date: Mon, 24 Jan 2022 13:55:43 -0500 Subject: [PATCH] BUG: Fix for Sphinx 3.4+ search (#213) Our version of https://github.com/readthedocs/sphinx_rtd_theme/pull/1021 to fix issues due to https://github.com/sphinx-doc/sphinx/issues/8623, i.e., `search.html` not actually searching due to `Uncaught ReferenceError: Stemmer is not defined` in Sphinx 3.4+. Closes #214 Closes #220 --- sphinx_bootstrap_theme/bootstrap/search.html | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/sphinx_bootstrap_theme/bootstrap/search.html b/sphinx_bootstrap_theme/bootstrap/search.html index 60a6601b..cca744a9 100644 --- a/sphinx_bootstrap_theme/bootstrap/search.html +++ b/sphinx_bootstrap_theme/bootstrap/search.html @@ -10,8 +10,9 @@ {%- extends "layout.html" %} {% set title = _('Search') %} {% block extrahead %} - - + + + {# this is used when loading the search index using $.ajax fails, such as on Chrome for documents on localhost #}