diff options
| -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 () |