From 98cc8a94bc588b972deee943004820b499203018 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 14 Sep 1998 12:42:48 +0000
Subject: Added toolbar todos discussed at business lunch with tms

---
 todo | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

(limited to 'todo')

diff --git a/todo b/todo
index dbb4426b..373a182c 100644
--- a/todo
+++ b/todo
@@ -25,9 +25,20 @@ A proof-toolbar:  Add support for entering a goal and saving a theorem
   up and down functions).  Add toolbar to pbp mode too.  
   (1hr, da)
 
+A proof-toolbar: Down button in toolbar gives error "proof process
+  busy" if pressed when the process is busy --- but it should be
+  allowed!  (10 mins,da)
+
+A proof-toolbar: make icons with reduced colour for 256 colour modes.
+  (20 mins, da)
+
+B proof-toolbar: add more buttons for moving to top and bottom of
+  whole file.  Use "standard" CD-player type icons.
+  (1hr, da)
+
 X 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.
+  xcf files under CVS rather than xpm files.  
   (5h or more to design nice ones)
 
 X Add support for putting a locked region in processed files.
-- 
cgit v1.2.3