From 2b81374b0b6839242d05f0ea3cbcf9148ece4573 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Wed, 28 May 2008 19:46:31 +0000
Subject: [PATCH] shorter timeout

svn: r10008
---
 collects/scribblings/main/private/make-search.ss | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/collects/scribblings/main/private/make-search.ss b/collects/scribblings/main/private/make-search.ss
index c1f0401607..2a8ab25edc 100644
--- a/collects/scribblings/main/private/make-search.ss
+++ b/collects/scribblings/main/private/make-search.ss
@@ -50,11 +50,11 @@
       ;;      (list (exported-index-desc-name desc)
       ;;            (exported-index-desc-from-libs desc)))
       ;; Note: using ~s to have javascript-quoted strings
-      (format "~a[~s, ~s, ~s]"
-              (if (eq? i (car l)) "" ",\n")
+      (format "[~s, ~s, ~s]"
               (string-downcase (string-join texts " "))
               href
               html)))
+  (set! l (add-between l ",\n"))
   @script[#:noscript @list{Sorry, you must have JavaScript to use this page.}]{
     // this vector has an entry for each index link: [text, url, html]
     plt_search_data = [
@@ -216,7 +216,7 @@
       if (key == 13) DoSearch();
       else if (key == 33) PageUp();
       else if (key == 34) PageDn();
-      else search_timer = setTimeout(DoSearch, 1000);
+      else search_timer = setTimeout(DoSearch, 400);
     }
 
     search_handler = DelayedSearch;