diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-toolbar.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index 82a15649..34e1c137 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -181,6 +181,7 @@ without giving error messages." (and (eq proof-buffer-type 'script) (proof-shell-live-buffer) (not proof-shell-busy) + ;; this last check is wrong for pbp buffer! (eq proof-script-buffer (current-buffer)))) (defvar proof-toolbar-up-enable |