diff options
| author | David Aspinall | 1999-11-11 17:35:27 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-11 17:35:27 +0000 |
| commit | e455a8ee2204f141e0bc1f82939e90f9eeb10f8b (patch) | |
| tree | 54818549d6ec648a07e9592ff6085cc777d2d8bd | |
| parent | fc7bc85b25e73b788a7fbd01b1671efa5d1f199f (diff) | |
Attempted x-symbol improvements
| -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. |