From afddfbf1c61bd723ab725ace32ef5fb0ca1fb6f9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 20 May 2003 20:10:37 +0000
Subject: Updated.

---
 FAQ | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'FAQ')

diff --git a/FAQ b/FAQ
index 91d12cf5..a58b08ae 100644
--- a/FAQ
+++ b/FAQ
@@ -7,6 +7,19 @@ Credits to the anonymous authors of questions/answers below.
 
 -----------------------------------------------------------------
 
+Q. XEmacs 21.4 displays a progress bar during fontification which
+   sometimes gets stuck or messes up the display.  
+   Is this a Proof General bug?  What can I do?
+
+A. This is an XEmacs bug.  What you can do is prevent the use
+   of the widget, for example by adding 
+
+     (setq progress-feedback-use-echo-area t)
+
+   inside your configuration file `.xemacs/init.el'
+
+-----------------------------------------------------------------
+
 Q. I have a problem installing/using Proof General, what can I do?
 
 A. Please check the documentation carefully, particularly the
-- 
cgit v1.2.3