added a tooltip to the search box

svn: r10486
2008-06-28 05:35:02 +00:00 · 2008-06-28 05:35:02 +00:00 · f5253f5e74
commit f5253f5e74
parent ee0632bbba
1 changed files with 1 additions and 0 deletions
--- 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)"