From 446311283c38c1cf208234ee80d778b0a9df18cf Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 16 Sep 1998 11:06:24 +0000
Subject: Added low-priority item about improving process handling.

---
 todo | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/todo b/todo
index 775cd80a..c82e01a3 100644
--- a/todo
+++ b/todo
@@ -40,6 +40,16 @@ X Improve toolbar icons.  Automatically generate reduced and
 
 X Add support for putting a locked region in processed files.
 
+X Make process handling smarter: because Emacs is single-threaded,
+  no process output can be dealt with when we are running some
+  command.  This means that it would be safe to extend the 
+  red region, by putting more commands on the queue.  Also it would
+  be safe to implement a clever undo command which worked on the
+  red region: if there are commands waiting to be processed, we
+  could remove them from the queue.  If there are no commands waiting,
+  we have to wait until something becomes blue to undo it by sending
+  a command to the process.
+
 A Documentation for proof-mode and its derived modes.  
   (15min for each mode: should base on some generic doc for
    proof-mode)
-- 
cgit v1.2.3