add version selector

Author: SimonBlanke

docs/source/conf.py

@@ -22,11 +22,13 @@
 author = "Simon Blanke"
 
 CURRENT_VERSION = f"v{gradient_free_optimizers.__version__}"
+_switcher_version = gradient_free_optimizers.__version__
 
 if ON_READTHEDOCS:
     READTHEDOCS_VERSION = os.environ.get("READTHEDOCS_VERSION")
     if READTHEDOCS_VERSION == "latest":
         CURRENT_VERSION = "main"
+        _switcher_version = "dev"
 
 # -- General configuration ---------------------------------------------------
 
@@ -147,7 +149,11 @@ def find_source():
     "use_edit_page_button": False,
     "navbar_start": ["navbar-logo"],
     "navbar_center": ["navbar-nav"],
-    "navbar_end": ["theme-switcher", "navbar-icon-links"],
+    "navbar_end": ["version-switcher", "theme-switcher", "navbar-icon-links"],
+    "switcher": {
+        "json_url": "https://gradient-free-optimizers.readthedocs.io/en/latest/_static/switcher.json",
+        "version_match": _switcher_version,
+    },
     "show_nav_level": 1,
     "show_toc_level": 3,
     "secondary_sidebar_items": ["page-toc", "sourcelink"],