scroll a panel into view when activated

svn: r10895
This commit is contained in:
Eli Barzilay 2008-07-24 11:05:10 +00:00
parent 56320ded96
commit a104bb0453

View File

@ -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;