From 1c8e0de7600c361cdc029713f24ad75d27b9b049 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Thu, 3 Jul 2008 08:32:47 +0000
Subject: [PATCH] make the code match the html

svn: r10574

original commit: 12d4b12d919bec4fee016c418a31727fba675bf0
---
 collects/scribble/scribble-common.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/scribble/scribble-common.js b/collects/scribble/scribble-common.js
index 832a7681..d829dd8b 100644
--- a/collects/scribble/scribble-common.js
+++ b/collects/scribble/scribble-common.js
@@ -46,7 +46,7 @@ function NormalizePath(path) {
 
 function DoSearchKey(event, field, ver) {
   var val = field.value;
-  if (event && event.keyCode == 13 && val.indexOf("...search...") < 0) {
+  if (event && event.keyCode == 13 && val.indexOf("...search manuals...") < 0) {
     var u = GetCookie("PLT_Root."+ver, null);
     if (u == null) u = "../"; // default: go up
     location = u + "search/index.html" + "?q=" + escape(val);