diff options
Diffstat (limited to 'generic/proof.el')
| -rw-r--r-- | generic/proof.el | 5 |
1 files changed, 4 insertions, 1 deletions
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) |