From 28126e24f5a76fcedf7de1c997c2e39c5952a3fa Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sat, 3 May 2008 23:07:59 +0000 Subject: [PATCH] JS typo svn: r9635 original commit: 7cd9e25970f01998ab1f684759bb3c6afd1f31c0 --- collects/scribble/html-render.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/scribble/html-render.ss b/collects/scribble/html-render.ss index f0ec0267..0b99d796 100644 --- a/collects/scribble/html-render.ss +++ b/collects/scribble/html-render.ss @@ -87,6 +87,7 @@ } return r; } + var search_box = null; function initialize_search() { var all_links = document.getElementsByTagName("a"); search_nodes = new Array(); @@ -95,7 +96,7 @@ all_links[i].flat_text = node_to_text(all_links[i]).toLowerCase(); search_nodes.push(all_links[i]); } - var search_box = document.getElementById("search_box"); + search_box = document.getElementById("search_box"); if (location.search.length > 0) { var paramstrs = location.search.substring(1).split(/[@";"&]/); for (var i in paramstrs) {