Updated.

1 files changed, 2 insertions, 0 deletions

diff --git a/todo b/todo
index cd501c6d..7a0b58ce 100644
--- a/todo
+++ b/todo
@@ -47,6 +47,8 @@ A Pending work, in progress [da]:
 	. update documentation
     - test support for x-symbol
     - investigate toolbar refresh problems
+	. extra clicks are needed
+	. toolbar appears in wrong buffers
     - investigate of excessive processing for large proofs
     - investigate bug fix for vacuous locked regions
     - document proof-copy-span (new name for proof-send-span, re-enabled).