From 1c382f2a20f8a99e635a4af7e4704c6a165798c9 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Thu, 29 May 2008 21:12:05 +0000
Subject: [PATCH] some key event tweaks

svn: r10025
---
 .../scribblings/main/private/make-search.ss     | 17 +++++++++++------
 1 file changed, 11 insertions(+), 6 deletions(-)

diff --git a/collects/scribblings/main/private/make-search.ss b/collects/scribblings/main/private/make-search.ss
index 6734304f19..febbf4d407 100644
--- a/collects/scribblings/main/private/make-search.ss
+++ b/collects/scribblings/main/private/make-search.ss
@@ -155,7 +155,7 @@
         +'<tr><td align="center" colspan="3">'
           +'<input type="text" id="search_box" style="width: 100%;"'
                  +'onchange="search_handler(event);"'
-                 +'onkeypress="search_handler(event);" />'
+                 +'onkeypress="return search_handler(event);" />'
         +'</td></tr>'
         +'<tr><td align="left">'
           +'<a href="#" title="Previous Page"'
@@ -249,10 +249,14 @@
     }
 
     function PageDn() {
-      first_search_result += results_num@";" UpdateResults()@";"
+      if (first_search_result + results_num < search_results.length) {
+        first_search_result += results_num;
+        UpdateResults();
+      }
     }
     function PageUp() {
-      first_search_result -= results_num@";" UpdateResults()@";"
+      first_search_result -= results_num;
+      UpdateResults();
     }
 
     function UncompactUrl(url) {
@@ -323,10 +327,11 @@
         clearTimeout(t);
       }
       var key = event && event.keyCode;
-      if (key == 13) DoSearch();
-      else if (key == 33) PageUp();
-      else if (key == 34) PageDn();
+      if (key == 13) { DoSearch()@";" return false@";" }
+      else if (key == 33) { PageUp()@";" return false@";" }
+      else if (key == 34) { PageDn()@";" return false@";" }
       else search_timer = setTimeout(DoSearch, 400);
+      return true;
     }
 
     search_handler = DelayedSearch;