diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-10-13 14:35:09 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-10-13 14:35:09 +0000 |
| commit | e2108a7b3edac754138368a0fc51b0160129253b (patch) | |
| tree | 2199f3e6ac8e6e15ad276b45aeb9766cde7483dd /generic/proof-script.el | |
| parent | 911f7d4a22a1a91ee04d66a0efe74a0bd9dd1830 (diff) | |
Patch from Tom Prince to fix Emacs 24 byte compilation (replace interactive-p with called-interactively-p)
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 c231f3f1..9a9d4042 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -431,13 +431,13 @@ Point must be after the locked region or this will signal an error." If called interactively or SWITCH is non-nil, switch to script buffer. If called interactively, a mark is set at the current location with `push-mark'" (interactive) - (if (and proof-script-buffer (interactive-p)) + (if (and proof-script-buffer (called-interactively-p 'any)) (push-mark)) (proof-with-script-buffer (if ;; there is an active scripting buffer and it's not displayed (and proof-script-buffer (not (get-buffer-window proof-script-buffer)) - (or switch (interactive-p))) + (or switch (called-interactively-p 'any))) ;; display it (switch-to-buffer proof-script-buffer)) (goto-char (proof-unprocessed-begin)))) @@ -1260,7 +1260,7 @@ activation is considered to have failed and an error is given." ;; immediately because scripting has been turned on now. (if proof-activate-scripting-hook (let - ((activated-interactively (interactive-p))) + ((activated-interactively (called-interactively-p 'any))) (setq proof-shell-last-output-kind nil) (run-hooks 'proof-activate-scripting-hook) ;; If activate scripting functions caused an error, |