diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-01-12 14:06:20 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-01-12 14:06:20 +0000 |
commit | d96ce78a6a0d14a6761712e7fb015dff009c8685 (patch) | |
tree | eb7bb981ee2abb5952c1d0ce50254140946c4580 /generic/proof.el | |
parent | 319f79246e3886bea6a4ae6636372d3d8c456e27 (diff) |
Attempted fix for thy-mode X-Symbol problems. Still buggy.
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) |