From d96ce78a6a0d14a6761712e7fb015dff009c8685 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 12 Jan 2000 14:06:20 +0000 Subject: Attempted fix for thy-mode X-Symbol problems. Still buggy. --- generic/proof.el | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'generic/proof.el') diff --git a/generic/proof.el b/generic/proof.el index 056d53f8..4bdfb9e4 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -293,7 +293,10 @@ with extra patterns (in non-mule mode).") ;; 20.4's version of font-lock in any case. (make-local-variable 'font-lock-defaults) ; not needed in XEmacs, FSF? (setq font-lock-defaults `(proof-font-lock-keywords nil ,case-fold)) - ;; FIXME: font-lock turned on somewhere, where? + ;; 12.1.99: testing: For XEmacs, we must also set the property. + ;; This is needed for buffers which are put into font-lock-mode + ;; (rather than fontified by hand). + (put major-mode 'font-lock-defaults font-lock-defaults) (setq font-lock-keywords nil)) (defun proof-fontify-region (start end) -- cgit v1.2.3