From 6d3efada895352ba759df3cd1b7378fe1a34c330 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 9 Nov 1999 17:52:13 +0000
Subject: Bug again in call-interactively in proof-toggle-active-scripting.
 Turn on proof-x-symbol mode in proof script mode.

---
 generic/proof-script.el | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index e743ae35..781a3b56 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -840,9 +840,9 @@ With ARG, turn on scripting iff ARG is positive."
 	(> (prefix-numeric-value arg) 0))
       (progn
 	(if proof-script-buffer 
-	    (call-interactively proof-deactivate-scripting))
-	(call-interactively proof-activate-scripting))
-    (call-interactively proof-deactivate-scripting)))
+	    (call-interactively 'proof-deactivate-scripting))
+	(call-interactively 'proof-activate-scripting))
+    (call-interactively 'proof-deactivate-scripting)))
 
 ;; This function isn't such a wise idea: the buffer will often be fully
 ;; locked when writing a script, but we don't want to keep toggling
@@ -2347,7 +2347,10 @@ finish setup which depends on specific proof assistant configuration."
   ;; Offer to save script mode buffers which have no files,
   ;; in case Emacs is exited accidently.
   (or (buffer-file-name)
-      (setq buffer-offer-save t)))
+      (setq buffer-offer-save t))
+
+  ;; Maybe turn on x-symbol mode
+  (proof-x-symbol-mode))
 
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-- 
cgit v1.2.3