diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-03-01 00:19:23 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-03-01 00:19:23 +0000 |
| commit | 06853fbac70a8b67a347243543bf2f8f4f718a18 (patch) | |
| tree | 1d234f89efba8d002ed3160a98f1f9b611cdfa01 /FAQ | |
| parent | 464c5e66c4a7acec4701e30ad512f9e0092f8996 (diff) | |
Mention non-Mule XEmacs version probs
Diffstat (limited to 'FAQ')
| -rw-r--r-- | FAQ | 12 |
1 files changed, 10 insertions, 2 deletions
@@ -31,6 +31,14 @@ A. This may be because of UTF-8 issues e.g in Red Hat 8.0/9/glibc 2.2 be read the shell. This will affect all applications, though. [ suggestions for a better workaround inside Emacs would be welcome ] + +----------------------------------------------------------------- + +Q. XEmacs appears to hang on certain malformed inputs to the prover. + +A. This symptom may be caused by using non-Mule versions of XEmacs. + Please make sure you use a Mule-enabled version. + ----------------------------------------------------------------- Q. XEmacs 21.4 displays a progress bar during fontification which @@ -38,11 +46,11 @@ Q. XEmacs 21.4 displays a progress bar during fontification which 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 + of the ugly widget, for example by adding (setq progress-feedback-use-echo-area t) - inside your configuration file `.xemacs/init.el' + inside your configuration file `.xemacs/init.el'. ----------------------------------------------------------------- |