From a912322c601eab7dd72d26d1a98b39d6d62fd524 Mon Sep 17 00:00:00 2001
From: Hugo Locurcio <hugo.locurcio@hugo.pro>
Date: Sun, 28 Mar 2021 19:11:03 +0200
Subject: [PATCH] Pin sphinx-tabs to 1.3.0 to workaround instant search
 regression

See https://github.com/godotengine/godot-docs/issues/4787.
---
 requirements.txt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/requirements.txt b/requirements.txt
index 9a941aaa5..b31c6050b 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -7,7 +7,8 @@ sphinx==3.5.2
 sphinx_rtd_theme==0.5.1
 
 # Code tabs extension for GDScript/C#
-sphinx-tabs==2.1.0
+# Stay on 1.3.0 until https://github.com/readthedocs/readthedocs-sphinx-search/issues/82 is fixed.
+sphinx-tabs==1.3.0  # pyup: ignore
 
 # Custom 404 error page (more useful than the default)
 sphinx-notfound-page==0.6