diff options
| -rw-r--r-- | generic/proof-x-symbol.el | 4 | ||||
| -rw-r--r-- | generic/proof.el | 2 |
2 files changed, 4 insertions, 2 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index 0d15d18e..f2d612d7 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -187,7 +187,9 @@ A value for proof-shell-insert-hook." (defun proof-x-symbol-configure () "Configure the current buffer for X-Symbol." (if proof-x-symbol-enable - (setq x-symbol-language proof-assistant-symbol) + (progn + (setq x-symbol-language proof-assistant-symbol) + (proof-x-symbol-decode-region (point-min) (point-max))) (setq x-symbol-language nil))) (defun proof-x-symbol-mode-all-buffers () diff --git a/generic/proof.el b/generic/proof.el index 3348912e..21a8e6bc 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -225,7 +225,7 @@ The argument KBL is a list of tuples (k . f) where `k' is a keybinding ;; Managing font-lock ;; -;; Buffers which are output only are *not* kept in special minor +;; Buffers which are output-only are *not* kept in special minor ;; modes font-lock-mode (or x-symbol-mode). In case the user ;; doesn't want fontification we have a user option, ;; proof-fontify-output. |