From 40a8f6c0ccdee80efcebdd8cdd056ae1f22474aa Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 8 Sep 1998 17:32:46 +0000
Subject: Added todos for toolbar.

---
 generic/proof-toolbar.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'generic')

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 
-- 
cgit v1.2.3