From 42cf9ddda16879de0096a74262057edaf91d1ab9 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Fri, 25 Jul 2008 01:44:59 +0000 Subject: [PATCH] parse a label argument too svn: r10905 --- collects/scribblings/main/private/search-context.html | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/scribblings/main/private/search-context.html b/collects/scribblings/main/private/search-context.html index 834c7654ab..c74675a111 100644 --- 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]);