From df8a7e419c5401f584c94419379eb2f093cd726a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 11 Nov 1999 10:45:21 +0000
Subject: Patches for urgent message processing.

---
 etc/junk.el | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

(limited to 'etc')

diff --git a/etc/junk.el b/etc/junk.el
index 470435d5..41e47db6 100644
--- a/etc/junk.el
+++ b/etc/junk.el
@@ -15,3 +15,20 @@
 	   (tgfn (if i (intern (concat (substring nm 0 i) "-toggle")))))
       (if (and tgfn (fboundp tgfn))
 	  (funcall tgfn (if value 1 0))))))
+
+
+;; Was in proof-shell.el
+(defun proof-shell-popup-eager-annotation ()
+  "Process urgent messages.
+Eager annotations are annotations which the proof system produces
+while it's doing something (e.g. loading libraries) to say how much
+progress it's made. Obviously we need to display these as soon as they
+arrive."
+;; FIXME: highlight eager annotation-end : fix proof-shell-handle-output
+;; to highlight whole string.
+  (let ((str (proof-shell-handle-output
+	      proof-shell-eager-annotation-start
+	      proof-shell-eager-annotation-end
+	      'proof-eager-annotation-face))
+    (proof-shell-message str))))
+
-- 
cgit v1.2.3