From e0224857c4fcfba500416b69d3956b9a5795377d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 15 Nov 1999 18:43:59 +0000
Subject: Updated

---
 todo | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'todo')

diff --git a/todo b/todo
index 9ec16902..0162bf9c 100644
--- a/todo
+++ b/todo
@@ -75,7 +75,7 @@ B BUGLETS:
   - Response buffer doesn't scroll to display o/p (it does for debug msgs,
     oddly).  This might have been a 1998 design decision.
     Maybe it should be a user option?
-
+  - are face defconsts still needed now we use defface?
   - XEmacs pg forces on font-lock!
 
 B SMALL DELTAS:
@@ -91,6 +91,9 @@ B SMALL DELTAS:
   implementation.  Maybe we have four commands: find command start,
   command end, and move to next command/previous command.
 
+C Make code robust against accidental deletion of response/goals
+  buffer.  Add functions proof-get-or-create-{response,goals}-buffer.
+  [30 mins]
 
 B Have seen "confused" bug: shows up when do lots of C-c C-n as
   process is starting up.
-- 
cgit v1.2.3