typo

svn: r10085
2008-06-02 10:37:29 +00:00 · 2008-06-02 10:37:29 +00:00 · 231d3a23f7
commit 231d3a23f7
parent c4506eccc1
1 changed files with 1 additions and 1 deletions
--- a/collects/scribblings/main/private/make-search.ss
+++ b/collects/scribblings/main/private/make-search.ss
@ -583,7 +583,7 @@
    function HidePrefs(event) {
      if ((event.which || event.keyCode) == 27) {
        query.focus();
-        panels["prefs"] = true;
+        panels_shown["prefs"] = true;
        TogglePanel("prefs");
      }
    }