diff options
| author | David Aspinall | 1998-09-08 17:32:46 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-08 17:32:46 +0000 |
| commit | 40a8f6c0ccdee80efcebdd8cdd056ae1f22474aa (patch) | |
| tree | 35ddda9f49e90bdb7f1f478ae4f22b699206ac4c /generic | |
| parent | 7b9dab3037749f11c6829c78398effc333b7d0cc (diff) | |
Added todos for toolbar.
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 |