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-menu.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-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 2 |
1 files changed, 1 insertions, 1 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 |