From 4f12c2351a6129d6ada2cc1f1542aded62a2ad02 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sun, 1 Jun 2008 02:31:03 +0000 Subject: [PATCH] stupid JS-induced bug svn: r10075 --- collects/scribblings/main/private/make-search.ss | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/scribblings/main/private/make-search.ss b/collects/scribblings/main/private/make-search.ss index 081f7ac23c..893941ab62 100644 --- a/collects/scribblings/main/private/make-search.ss +++ b/collects/scribblings/main/private/make-search.ss @@ -128,8 +128,8 @@ (function(){ // Configuration options (use || in case the cookie exists but empty) - var results_num = (GetCookie("PLT_ResultsNum", false) || 20); - var type_delay = (GetCookie("PLT_TypeDelay", false) || 300) + var results_num = (parseInt(GetCookie("PLT_ResultsNum", false)) || 20); + var type_delay = (parseInt(GetCookie("PLT_TypeDelay", false)) || 300); var highlight_color = (GetCookie("PLT_HighlightColor", false) || "#ffd"); var background_color = "#f8f8f8";