From fafcbdcac136fa57ee8fe68dbe492758cc6818c6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 17 Feb 2003 20:45:22 +0000
Subject: Larrys suggestion for lookup-syntax-properties.

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

(limited to 'FAQ')

diff --git a/FAQ b/FAQ
index 89cbcac3..91d12cf5 100644
--- a/FAQ
+++ b/FAQ
@@ -52,6 +52,19 @@ A. Once X-Symbol is picked up by Emacs (e.g. is working for TeX),
 
 -----------------------------------------------------------------
 
+Q. I notice that editing Isabelle files in Proof General with XEmacs
+   21.4 is very slow.  Can this be fixed?
+
+A. You could consider adding the following line to your init file:
+
+      (setq lookup-syntax-properties nil)
+
+   This hack bypasses some very slow code in the font-lock system, but
+   it also disables some syntax-related features, so use with care.
+
+-----------------------------------------------------------------
+
+
 Q. I'm afraid I got stuck very early on.  I sent the following line:
 
       by (swap_res_tac [psubsetI] 1;
-- 
cgit v1.2.3