From 255f394c87bdcd47e0d0d7b07bd830c750d4c29d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 7 May 2004 11:16:59 +0000
Subject: Updated.

---
 FAQ | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'FAQ')

diff --git a/FAQ b/FAQ
index bc022ec5..1f3c8631 100644
--- a/FAQ
+++ b/FAQ
@@ -103,8 +103,9 @@ 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 ugly widget, for example by adding 
+A. This is an XEmacs bug.  Things are better in morea recent patches 
+   of 21.4, make sure you have the latest version.  You can prevent
+   the use of the ugly widget, for example by adding 
 
      (setq progress-feedback-use-echo-area t)
 
-- 
cgit v1.2.3