From 231d3a23f721ff5eb03daea13df7e748db9280c4 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 2 Jun 2008 10:37:29 +0000 Subject: [PATCH] typo svn: r10085 --- collects/scribblings/main/private/make-search.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribblings/main/private/make-search.ss b/collects/scribblings/main/private/make-search.ss index d089969cbb..e5d4c26ba8 100644 --- 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"); } }