From ea3c3687dc3fe0fa3355262a5c3d356d1a9b1d15 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Wed, 23 Jul 2008 16:14:29 +0000
Subject: [PATCH] improved search indicator thing

svn: r10880
---
 collects/scribblings/main/private/search.js | 25 +++++++++++++++------
 1 file changed, 18 insertions(+), 7 deletions(-)

diff --git a/collects/scribblings/main/private/search.js b/collects/scribblings/main/private/search.js
index 0b614b7afa..4ccdc17e32 100644
--- a/collects/scribblings/main/private/search.js
+++ b/collects/scribblings/main/private/search.js
@@ -319,21 +319,32 @@ function Id(x) {
   return x;
 }
 
+var indicators =
+  (function() {
+    // construct indicator lines that look like: "--->..."
+    var i, j, s, a = new Array();
+    for (i=0; i<11; i++) {
+      s = "";
+      for (j=0; j<10; j++) {
+        s += (j==9 && i==10) ? "&#9632;"
+           : (j<i)  ? "&mdash;"
+           : (j==i) ? "&#9658;"
+           : "&middot;";
+      }
+      a.push("&nbsp;<tt>"+s+"</tt>");
+    }
+    return a;
+   }());
 function MakeShowProgress() {
   var orig = status_line.innerHTML;
-  var indicators = [
-    ">.........", "->........", "-->.......", "--->......", "---->.....",
-    "----->....", "------>...", "------->..", "-------->.", "--------->",
-    "---------*"];
   return function(n) {
     status_line.innerHTML =
-      orig + "&nbsp;<tt>"
-      + indicators[Math.round(10*n/search_data.length)] + "</tt>";
+      orig + indicators[Math.round(10*n/search_data.length)];
   }
 }
 
 function Search(data, term, is_pre, K) {
-  // `K' is a continuation, if this run is supposed to happen in a "thread"
+  // `K' is a continuation if this run is supposed to happen in a "thread"
   // false otherwise
   var t = false;
   var killer = function() { if (t) clearTimeout(t); };