Set enable_search_shortcuts=False

Gurobi · Jul 18, 2024 · 2600858 · 2600858
1 parent 5effe40
commit 2600858
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/docs/source/conf.py b/docs/source/conf.py
@@ -49,6 +49,8 @@
     "version_warning": False,
     "feedback_banner": False,
     "construction_warning": False,
+    # Disable search '/' hotkey so readthedocs addons can use it
+    "enable_search_shortcuts": False,
 }
 html_favicon = "https://www.gurobi.com/favicon.ico"
 html_static_path = ["_static"]