diff options
author | 1999-11-10 15:09:06 +0000 | |
---|---|---|
committer | 1999-11-10 15:09:06 +0000 | |
commit | 101a389da5703fb2b3818a33613335e965c97db8 (patch) | |
tree | 09dc83f4bafeff2aca5ff777d4e84dd77b20ff18 | |
parent | b6ee01566a369020d4ad3d97d3c4556bd064ba5f (diff) |
Added save-excursion.
-rw-r--r-- | generic/proof-x-symbol.el | 33 |
1 files changed, 17 insertions, 16 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index c08ff8d9..130d91da 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -149,22 +149,23 @@ A value for proof-shell-insert-hook." (defun proof-x-symbol-mode () "Turn on/off x-symbol mode in current buffer, from proof-x-symbol-enable." (interactive) - (if proof-x-symbol-initialized - (progn - (setq x-symbol-language proof-assistant-symbol) - (if (eq x-symbol-mode - (not proof-x-symbol-enable)) - (x-symbol-mode)) ;; DvO: this is a toggle - ;; Needed ? Should let users do this in the - ;; usual way, if it works. - (if (and x-symbol-mode - (not font-lock-mode));;DvO - (font-lock-mode) - ;; da: Is this supposed to be called only if we don't turn on - ;; font-lock??? - (unless (featurep 'mule) - (if (fboundp 'x-symbol-nomule-fontify-cstrings) - (x-symbol-nomule-fontify-cstrings)))))));;DvO + (save-excursion ; needed or point moves: why? + (if proof-x-symbol-initialized + (progn + (setq x-symbol-language proof-assistant-symbol) + (if (eq x-symbol-mode + (not proof-x-symbol-enable)) + (x-symbol-mode)) ;; DvO: this is a toggle + ;; Needed ? Should let users do this in the + ;; usual way, if it works. + (if (and x-symbol-mode + (not font-lock-mode));;DvO + (font-lock-mode) + ;; da: Is this supposed to be called only if we don't turn on + ;; font-lock??? + (unless (featurep 'mule) + (if (fboundp 'x-symbol-nomule-fontify-cstrings) + (x-symbol-nomule-fontify-cstrings))))))));;DvO (defun proof-x-symbol-mode-all-buffers () |