From 8c86c9b0599b2b2344fe6078460ed66813cfa20f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 11 Dec 2001 13:21:00 +0000
Subject: Protect XEmacs only code

---
 generic/proof-utils.el | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index 9c4da805..d1a579af 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -329,8 +329,9 @@ font-lock-mode."
     ;; hopefully in a useless way.  XEmacs has better control
     ;; over which modes not to enable it for (although annoying
     ;; that it's a custom setting)
-    (setq font-lock-mode-disable-list 
-	  (cons major-mode font-lock-mode-disable-list))))
+    (if proof-running-on-XEmacs
+	(setq font-lock-mode-disable-list 
+	      (cons major-mode font-lock-mode-disable-list)))))
 
 (defun proof-font-lock-clear-font-lock-vars ()
   (kill-local-variable 'font-lock-defaults)
-- 
cgit v1.2.3