Added todos for toolbar.

3 files changed, 16 insertions, 1 deletions

diff --git a/Makefile.devel b/Makefile.devel
index 62555bdf..f66d13e7 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -63,6 +63,6 @@ release :
 		     gzip -c $(TRELEASENAME) > $(TRELEASENAME).gz;\
 		     cp -p $(RELEASENAME).* $(EXPORTDIR);\
 		     cd ..; cvs release -d elisp
- 
+
 
 
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 
diff --git a/todo b/todo
index 20f7d7f0..00471029 100644
--- a/todo
+++ b/todo
@@ -11,6 +11,20 @@ C (Low)    probably not worth wasting time on
 * This is a list of things which need doing in the generic interface
 ====================================================================
 
+B proof-toolbar:  Add support for entering a goal and saving a theorem
+  at the generic level.  These functions should also
+  be accessible from menus.  Fixup movement of point (choice of
+  up and down functions).  Add toolbar to pbp mode too.  
+  (1hr, da)
+
+A Add xbm bitmap images for toolbar.  Probably important to support
+  non-colour displays.  (30mins, da)
+
+C Improve toolbar icons.  Automatically generate reduced and
+  pressed/greyed-out versions from gimp xcf files.  Keep the
+  xcf files under CVS rather than xpm files.
+  (5h or more to design nice ones)
+
 A Remove defunct "isabelle" directory.  All collbarators must
   synchronize and remove their working directories to do this,
   because we need to operate on the repository directly.