From d2e949fbc90d0e2a374f25c4fcaf714bcba0bf91 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 11 May 2000 14:14:58 +0000
Subject: X-Symbol funny chars question

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

(limited to 'FAQ')

diff --git a/FAQ b/FAQ
index ff8365a1..ff4c0b91 100644
--- a/FAQ
+++ b/FAQ
@@ -5,6 +5,7 @@ $Id$
 
 For latest version, see http://zermelo.dcs.ed.ac.uk/~proofgen/ProofGeneral/FAQ
 
+-----------------------------------------------------------------
 
 Q. How can I keep the Proof General option settings across sessions?
 
@@ -15,6 +16,19 @@ A. Simply use the ordinary XEmacs menu: Options -> Save Options
 
 -----------------------------------------------------------------
 
+Q. When using X-Symbol, why do I sometimes see funny characters like
+   \233 in the buffer?
+
+A. These are part of the 8 bit character codes used by X Symbol to
+   get symbols from particular fonts.  Sometimes X-Symbol forgets to
+   fontify the buffer properly to make it use the right fonts.
+   To fix, type M-x font-lock-fontify-buffer
+   If that doesn't work, type M-x font-lock-mode twice to turn
+   font-lock off then on.  Or reload the file.
+
+-----------------------------------------------------------------
+
+
 Q. I'm using Proof General for prover X, then I load a file for prover Y.
    The buffer doesn't enter the mode for prover Y.  Why not?
 
-- 
cgit v1.2.3