From 960547de9c5f9bc70ccba6e3b1261ee2cf2c1dde Mon Sep 17 00:00:00 2001
From: mdw <mdw>
Date: Sun, 9 Jul 2000 21:31:34 +0000
Subject: [PATCH] Delete the spinner when the search finishes.

---
 pgen-stdev.c | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/pgen-stdev.c b/pgen-stdev.c
index 688a4b6..1d3ec98 100644
--- a/pgen-stdev.c
+++ b/pgen-stdev.c
@@ -1,6 +1,6 @@
 /* -*-c-*-
  *
- * $Id: pgen-stdev.c,v 1.1 1999/12/22 16:01:57 mdw Exp $
+ * $Id: pgen-stdev.c,v 1.2 2000/07/09 21:31:34 mdw Exp $
  *
  * Standard event handlers
  *
@@ -30,6 +30,9 @@
 /*----- Revision history --------------------------------------------------* 
  *
  * $Log: pgen-stdev.c,v $
+ * Revision 1.2  2000/07/09 21:31:34  mdw
+ * Delete the spinner when the search finishes.
+ *
  * Revision 1.1  1999/12/22 16:01:57  mdw
  * Standard progress-reporting functions.
  *
@@ -58,13 +61,18 @@ int pgen_evspin(int rq, pgen_event *ev, void *p)
   switch (rq) {
     case PGEN_PASS:
     case PGEN_FAIL:
-    case PGEN_DONE:
       putchar(*q++);
       putchar('\b');
       fflush(stdout);
       if (!*q)
 	q = spinner;
       break;
+    case PGEN_DONE:
+    case PGEN_ABORT:
+      putchar(' ');
+      putchar('\b');
+      fflush(stdout);
+      break;
   }
   return (0);
 }
-- 
2.11.0