From bf6e48f675748f891a59cb71da59c5113ccc2ac6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 16 Nov 1999 21:58:13 +0000
Subject: todo for shell exiting

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

diff --git a/todo b/todo
index 20199719..5cc8285a 100644
--- a/todo
+++ b/todo
@@ -54,6 +54,10 @@ A Final stuff for 3.0 release [da]:
 
 ---------------------------------------------
 
+B Proof shell exit function -- could try sending an interrupt first
+  if the process is busy, just to be polite (and avoid the 10 second
+  wait before it gets killed).
+
 B Display functions: does auto-delete-windows work with
   window-dedicated as it should? (I thought it would switch 
   between 2/3 bufs as appropriate?).
-- 
cgit v1.2.3