From 101a389da5703fb2b3818a33613335e965c97db8 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 10 Nov 1999 15:09:06 +0000 Subject: Added save-excursion. --- generic/proof-x-symbol.el | 33 +++++++++++++++++---------------- 1 file 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 () -- cgit v1.2.3