diff --git a/collects/scribble/html-render.ss b/collects/scribble/html-render.ss index 2be21cec..dfd7b5b0 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)"