From 304b22adb263e5733d8000548d8a873292997dfe Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 16 Sep 1998 11:09:05 +0000
Subject: Removed item about toolbar error message to do with process handling.

---
 todo | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/todo b/todo
index c82e01a3..32315ba4 100644
--- a/todo
+++ b/todo
@@ -25,10 +25,6 @@ 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)
-
 B proof-toolbar: add more buttons for moving to top and bottom of
   whole file.  Use "standard" CD-player type icons.
   (1hr, da)
-- 
cgit v1.2.3