Updated

1 files changed, 11 insertions, 1 deletions

diff --git a/todo b/todo
index 1e8303d8..0d7720ac 100644
--- a/todo
+++ b/todo
@@ -46,8 +46,18 @@ A Pending work, in progress [da]:
 	. extra clicks are needed (?)
     - investigate of excessive processing for large proofs
     - investigate bug fix for vacuous locked regions
-    - document proof-mouse-track-insert (new name for proof-send-span, re-enabled).
+    - document proof-mouse-track-insert (new name for proof-send-span, re-enabled), proof-toggle-scripting, new configuration options.
 
+B Fix colouring of response buffer, may be broken.
+
+B Usability enhancement: remove stupid "I don't know what I should be doing"
+  errors and replace with something more informative.
+
+B Doc enhancement: explain conditions for switching buffers and auto
+  switching of scripting buffers.  (See doc of 
+  proof-auto-action-when-switching-scripting)
+
+D Multiple file improvements: add implicit
 D Usability enhancement:
     - Fix asymmetry between "doing" and "undoing": doing will skip comments,
       undoing will not.  e.g. test case: (* tester *) intros;