todo for shell exiting

1 files changed, 4 insertions, 0 deletions

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?).