Added low-priority item about improving process handling.

1 files changed, 10 insertions, 0 deletions

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)