diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-15 23:18:58 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-15 23:18:58 +0000 |
| commit | 36d658254d1c62d0a627ddc4ddd6bedc6580b279 (patch) | |
| tree | 247c7c372a5ce64f3a80e8d2c032a4bdac006607 /generic/proof-x-symbol.el | |
| parent | 5c15d9a0ad129b0407cabfe202a142c91a34e110 (diff) | |
proof-x-symbol-decode-region: add fontification to fix missing subscript/subscripts.
Diffstat (limited to 'generic/proof-x-symbol.el')
| -rw-r--r-- | generic/proof-x-symbol.el | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index cdb0bd05..3d6c35a0 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -222,7 +222,18 @@ A subroutine of proof-x-symbol-enable." ;; ;;;###autoload -(defalias 'proof-x-symbol-decode-region 'x-symbol-decode-region) +(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))))))) + (defun proof-x-symbol-encode-shell-input () "Encode shell input in the variable STRING. |