diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-15 23:25:42 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-15 23:25:42 +0000 |
| commit | 0d705351ce3aa6eb37384cce71d2d1aba1739229 (patch) | |
| tree | f6cf3e56ef3b3c04f47d3a61337dd1b8bcde01fd /generic/proof-x-symbol.el | |
| parent | 36d658254d1c62d0a627ddc4ddd6bedc6580b279 (diff) | |
Tweak fix: it's *probably* not necessary in non-mule mode (needs testing on
non-mule Emacs).
Diffstat (limited to 'generic/proof-x-symbol.el')
| -rw-r--r-- | generic/proof-x-symbol.el | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index 3d6c35a0..88603c95 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -225,14 +225,15 @@ A subroutine of proof-x-symbol-enable." (defun proof-x-symbol-decode-region (start end) (let ((newend (x-symbol-decode-region start end))) ;; subscripts in non-mule mode are done with fontification, see x-symbol-fontify - (let ((font-lock-keywords x-symbol-font-lock-keywords) ;; TODO: compile keywords - (font-lock-defaults '(x-symbol-font-lock-keywords t)) - (x-symbol-mode t) - (x-symbol-subscripts t)) - (condition-case err - (font-lock-fontify-keywords-region start newend nil) - (t (proof-debug "Caught condition %s in `font-lock-fontify-keywords-region'" - (car err))))))) + (if (featurep 'mule) + (let ((font-lock-keywords x-symbol-font-lock-keywords) ;; TODO: compile keywords + (font-lock-defaults '(x-symbol-font-lock-keywords t)) + (x-symbol-mode t) + (x-symbol-subscripts t)) + (condition-case err + (font-lock-fontify-keywords-region start newend nil) + (t (proof-debug "Caught condition %s in `font-lock-fontify-keywords-region'" + (car err)))))))) (defun proof-x-symbol-encode-shell-input () |