diff --git a/collects/scribblings/main/private/search.js b/collects/scribblings/main/private/search.js
index c6e7d6da00..9a69bb0b4c 100644
--- a/collects/scribblings/main/private/search.js
+++ b/collects/scribblings/main/private/search.js
@@ -730,6 +730,7 @@ function TogglePanel(name) {
   if (panel_shown) {
     document.getElementById(panel_shown+"_panel").style.display = "block";
     document.getElementById("close_panel").style.display = "block";
+    document.getElementById(panel_shown+"_panel").scrollIntoView();
   }
 }
 toggle_panel = TogglePanel;