From b456a954acbc01e93fad143b957f2f192790cf25 Mon Sep 17 00:00:00 2001
From: Yang Shi <ys2843@nyu.edu>
Date: Fri, 8 May 2020 14:19:28 -0700
Subject: [PATCH] fix when clicking version dropdown it jumps to top of the
 page (#18238)

---
 docs/static_site/src/assets/js/options.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/static_site/src/assets/js/options.js b/docs/static_site/src/assets/js/options.js
index 93d541ad52d5..e495f167381e 100644
--- a/docs/static_site/src/assets/js/options.js
+++ b/docs/static_site/src/assets/js/options.js
@@ -149,4 +149,8 @@ $(document).ready(function () {
         .mouseenter(toggleDropdown.bind(null, true))
         .mouseleave(toggleDropdown.bind(null, false))
         .click(function() {$(".version-dropdown").toggle()});
+
+    $("ul.version-dropdown").click(function(e) {
+        e.preventDefault();
+    });
 });