From 9ad47b1591d039b43fdbb9ca83234c338ce26d64 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 6 Oct 1999 10:48:06 +0000
Subject: Updated

---
 todo | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

(limited to 'todo')

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; 
-- 
cgit v1.2.3