From f5253f5e74fcba8b43e194588126ffb8b078285d Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sat, 28 Jun 2008 05:35:02 +0000 Subject: [PATCH] added a tooltip to the search box svn: r10486 --- collects/scribble/html-render.ss | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/scribble/html-render.ss b/collects/scribble/html-render.ss index 2be21cec50..dfd7b5b0a3 100644 --- a/collects/scribble/html-render.ss +++ b/collects/scribble/html-render.ss @@ -196,6 +196,7 @@ " background-color: #eee; color: #888;")] [type "text"] [value "...search..."] + [title "Enter a search string to search the manuals"] [onkeypress ,(format "return DoSearchKey(event, this, ~s);" (version))] [onfocus ,(sa "this.style.color=\"black\";" " if (this.value.indexOf(\"...search...\")>=0)"