Item for toolbar icons in low-colour modes

1 files changed, 3 insertions, 0 deletions

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).