From 86391ff530b65014aa18fccc2764e3d921b6da59 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 24 Sep 1998 15:10:05 +0000
Subject: Item for toolbar icons in low-colour modes

---
 todo | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/todo b/todo
index fca49d00..5ed82d38 100644
--- a/todo
+++ b/todo
@@ -30,6 +30,9 @@ A proof-toolbar:  Fixup movement of point (choice of
   up and down functions).  Add toolbar to pbp mode too.  
   (30mins, da)
 
+A toolbar icons: Fixup for low-colour modes again.  Improve restart
+  icon (30mins, da).
+
 B Better support for adding a new prover: give error messages which
   hint at what variable to set (see proof-issue-goal for example).
 
-- 
cgit v1.2.3