diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-12-18 18:34:52 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-12-18 18:34:52 +0000 |
| commit | e338b3dee111f5dabc96a274ebb4d75452a83661 (patch) | |
| tree | 4eb4a810b2d769337e4310d1c6ab338425f3e5e5 | |
| parent | 917c1defcd92a78ac319448c4ddd4b6cf293d84b (diff) | |
Missing bracket.
| -rw-r--r-- | generic/proof-x-symbol.el | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index 29796e70..e4e3df33 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -47,9 +47,11 @@ inside your Emacs." (if enable ;; Turn it on (progn - (add-hook 'proof-shell-insert-hook 'proof-x-symbol-encode-shell-input)) + (add-hook 'proof-shell-insert-hook + 'proof-x-symbol-encode-shell-input)) ;; Turn it off - (remove-hook 'proof-shell-insert-hook 'proof-x-symbol-encode-shell-input)) + (remove-hook 'proof-shell-insert-hook + 'proof-x-symbol-encode-shell-input)) (setq proof-x-symbol-support-on enable))) @@ -67,8 +69,7 @@ No action if proof-x-symbol-support-on is nil." (save-restriction (narrow-to-region start end) (x-symbol-decode-all) - (unless (featurep 'mule) (x-symbol-nomule-fontify-cstrings)) - )) + (unless (featurep 'mule) (x-symbol-nomule-fontify-cstrings))))) (defun proof-x-symbol-encode-shell-input () |