From d7df9ffe5191aab4f54938fcf63fcd144a123722 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 17 Jan 2008 12:13:28 +0000
Subject: Prevent font-lock complaining about not being setup.

---
 generic/proof-x-symbol.el | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'generic')

diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el
index 835d4986..951b4cc2 100644
--- a/generic/proof-x-symbol.el
+++ b/generic/proof-x-symbol.el
@@ -227,6 +227,13 @@ A subroutine of proof-x-symbol-enable."
     (if (featurep 'mule)
 	(let ((font-lock-keywords  x-symbol-font-lock-keywords) ;; TODO: compile keywords
 	      (font-lock-defaults '(x-symbol-font-lock-keywords t))
+	      ;; GE 21.1: the `font-lock-set-defaults' flag prevents font lock
+	      ;; complaining (in font-lock-compile-keywords) that
+	      ;; we've not run font-lock-set-defaults.  It gives dire
+	      ;; warnings what may happen otherwise but dynamic
+	      ;; binding of `font-lock-keywords' here should prevent
+	      ;; global changes to that variable.
+	      (font-lock-set-defaults t)
 	      (x-symbol-mode	t)
 	      (x-symbol-subscripts t))
 	  (condition-case err
-- 
cgit v1.2.3