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 | |
parent | 911f7d4a22a1a91ee04d66a0efe74a0bd9dd1830 (diff) |
Patch from Tom Prince to fix Emacs 24 byte compilation (replace interactive-p with called-interactively-p)
-rw-r--r-- | generic/proof-menu.el | 2 | ||||
-rw-r--r-- | generic/proof-script.el | 6 | ||||
-rw-r--r-- | generic/proof-splash.el | 2 | ||||
-rw-r--r-- | isar/isabelle-system.el | 2 | ||||
-rw-r--r-- | lib/scomint.el | 2 |
5 files changed, 7 insertions, 7 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 1ee78e16..b4ac2bf9 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -49,7 +49,7 @@ without adjusting window layout." ;; trace buffer, etc. (Makes less sense from the menu, though, ;; where it seems more natural just to rotate from last position) (cond - ((and (interactive-p) + ((and (called-interactively-p 'any) (eq last-command 'proof-display-some-buffers)) (incf proof-display-some-buffers-count)) (t 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, diff --git a/generic/proof-splash.el b/generic/proof-splash.el index e5ace495..b6f95921 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -287,7 +287,7 @@ binding to remove this buffer." (progn ;; disable ordinary emacs splash (setq inhibit-startup-message t) - (proof-splash-display-screen (not (interactive-p)))) + (proof-splash-display-screen (not (called-interactively-p 'any)))) ;; Otherwise, a message (message "Welcome to %s Proof General!" proof-assistant)) (setq proof-splash-seen t))) diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el index fa7fe72c..c1a393b5 100644 --- a/isar/isabelle-system.el +++ b/isar/isabelle-system.el @@ -292,7 +292,7 @@ for you, you should disable this behaviour." "Refresh isabelle-logics-menu-entries, returning new entries." (interactive) (if (and isabelle-refresh-logics - (or isabelle-time-to-refresh-logics (interactive-p))) + (or isabelle-time-to-refresh-logics (called-interactively-p 'any))) (progn (setq isabelle-logics-available (isa-tool-list-logics)) (isabelle-logics-menu-calculate) diff --git a/lib/scomint.el b/lib/scomint.el index 2859e499..af8df997 100644 --- a/lib/scomint.el +++ b/lib/scomint.el @@ -251,7 +251,7 @@ NO-NEWLINE is non-nil." (save-excursion (condition-case nil (goto-char - (if (interactive-p) scomint-last-input-end scomint-last-output-start)) + (if (called-interactively-p 'any) scomint-last-input-end scomint-last-output-start)) (error nil)) (while (re-search-forward "\r+$" pmark t) (replace-match "" t t))))) |