From 71b1164034afe6265cdab53364cddf7222dba5ba Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Tue, 24 Nov 2009 21:26:05 +0000
Subject: [PATCH] propagate the argument throught the search box too

svn: r17051
---
 collects/scribble/scribble-common.js | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/collects/scribble/scribble-common.js b/collects/scribble/scribble-common.js
index 13b1dfa07a..d36d9f120f 100644
--- a/collects/scribble/scribble-common.js
+++ b/collects/scribble/scribble-common.js
@@ -90,8 +90,12 @@ function DoSearchKey(event, field, ver, top_path) {
   var val = field.value;
   if (event && event.keyCode == 13) {
     var u = GetCookie("PLT_Root."+ver, null);
+    var args = "";
     if (u == null) u = top_path; // default: go to the top path
-    location = u + "search/index.html" + "?q=" + escape(val);
+    u += "search/index.html";
+    args = SetArgInString(args, "q", val);
+    if (cur_plt_lang) args = SetArgInString(args, "lang", cur_plt_lang);
+    location = u + "?" + args;
     return false;
   }
   return true;