diff options
author | 1999-11-09 17:02:58 +0000 | |
---|---|---|
committer | 1999-11-09 17:02:58 +0000 | |
commit | cf98c96512379125e2eafd4188ceaf62f5e54fd0 (patch) | |
tree | 34fb052f1d2e107cdaf0712952208757d001a697 /generic/proof-script.el | |
parent | 63d725ff980b8cccaf500b1c4d95d0ed3eb19304 (diff) |
Bug in proof-toggle-active-scripting interactive calling.
Diffstat (limited to 'generic/proof-script.el')
-rw-r--r-- | generic/proof-script.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 0aa633b2..e743ae35 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 |