parse a label argument too

svn: r10905
2008-07-25 01:44:59 +00:00 · 2008-07-25 01:44:59 +00:00 · 42cf9ddda1
commit 42cf9ddda1
parent 49a015e890
1 changed files with 3 additions and 0 deletions
--- a/collects/scribblings/main/private/search-context.html
+++ b/collects/scribblings/main/private/search-context.html
@ -23,6 +23,9 @@ if (location.search.length > 0) {
    // an empty "hq=" can be used to clear the cookie
    if (param[0] == "hq") {
      SetCookie("PLT_PreQuery", ((param.length==2) ? unescape(param[1]) : ""));
+    } else if (param[0] == "label") {
+      SetCookie("PLT_PreQueryLabel",
+                ((param.length==2) ? unescape(param[1]) : ""));
    } else {
      newsearch = (newsearch == null)
                    ? paramstrs[i] : (newsearch + "&" + paramstrs[i]);