make click-to-refine a bit discoverable; really need to do some UI work here
authorMike Shaver <shaver@mozilla.org>
Wed, 09 Feb 2011 04:33:55 +0000
changeset 40 b3ab76d708dc1f26c15f9c75a883148157001e1a
parent 39 6c2740178bcb40d1e54a61599b181c454461f717
child 41 673ed6975d584137d90c112dc686b7bf6a8bc49a
push id31
push usershaver@mozilla.com
push dateWed, 09 Feb 2011 04:35:25 +0000
make click-to-refine a bit discoverable; really need to do some UI work here
server/static/search.js
--- a/server/static/search.js
+++ b/server/static/search.js
@@ -12,17 +12,17 @@ var results;
     var xhr = new XMLHttpRequest();
     xhr.open("GET", "/json?" + encodeURI(terms), true);
     xhr.onreadystatechange = function() {
         if (xhr.readyState != 4 || xhr.status != 200)
             return;
         var results = JSON.parse(xhr.responseText);
         var div = $("#matchingbugs");
         div.html(results.bugs.length + " results for '" + $("#keywords").val() + "' in " +  (Date.now() - xhr.sendTime) + " (total)/" +
-                 results.times.server + " (server)/" + results.times.redis + " (redis) ms<br>");
+                 results.times.server + " (server)/" + results.times.redis + " (redis) ms<br><i>Click words to refine search</i><br>");
 
         results.bugs.forEach(function (v) { div.append("<a href='https://bugzilla.mozilla.org/show_bug.cgi?id=" + v.id + "'>" + v.id + "</a>: ");
         div.append(document.createTextNode(v.summary)); div.append("<br>"); });
         if (results.hasMore)
             div.append("<br>(Showing " + results.bugs.length + " of " + results.totalResults + " results)<br>");
         };
     xhr.sendTime = Date.now();
     xhr.send(null);