diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-09 17:52:13 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-09 17:52:13 +0000 |
| commit | 6d3efada895352ba759df3cd1b7378fe1a34c330 (patch) | |
| tree | 1b2f3930c500554b8668a5ed9798025756931944 /generic | |
| parent | cf98c96512379125e2eafd4188ceaf62f5e54fd0 (diff) | |
Bug again in call-interactively in proof-toggle-active-scripting.
Turn on proof-x-symbol mode in proof script mode.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-script.el | 11 |
1 files changed, 7 insertions, 4 deletions
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)) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |