diff options
Diffstat (limited to 'generic')
| -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. |