diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-05-07 11:16:59 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-05-07 11:16:59 +0000 |
commit | 255f394c87bdcd47e0d0d7b07bd830c750d4c29d (patch) | |
tree | eda902bf65cf4a0a8dd07009e45ac511ba1b053b /FAQ | |
parent | 334c7fd0210bbe065661ee8bf47fb38f5d85daf4 (diff) |
Updated.
Diffstat (limited to 'FAQ')
-rw-r--r-- | FAQ | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -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) |