Closed mgeier closed 2 years ago
Support for the / key was added in https://github.com/sphinx-doc/sphinx/pull/9337 and it can be disabled by setting the theme option enable_search_shortcuts to False.
/
enable_search_shortcuts
False
Support for the
/
key was added in https://github.com/sphinx-doc/sphinx/pull/9337 and it can be disabled by setting the theme optionenable_search_shortcuts
toFalse
.