From a104bb0453183b6381b5f165459c6d540506d72f Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Thu, 24 Jul 2008 11:05:10 +0000
Subject: [PATCH] scroll a panel into view when activated

svn: r10895
---
 collects/scribblings/main/private/search.js | 1 +
 1 file changed, 1 insertion(+)

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;