From 6146b88d7b181cd0c202373c8220b895702a034f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 11 Dec 1998 17:04:26 +0000
Subject: Added new test/comments.

---
 etc/TESTS | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/etc/TESTS b/etc/TESTS
index a5936b05..11e260d2 100644
--- a/etc/TESTS
+++ b/etc/TESTS
@@ -25,6 +25,26 @@ Some test cases for Proof General.
   Exit emacs.  Should query whether we want to save these
   scripting buffers (maybe XEmacs only).
 
+11.12.98  RUDELY KILLING THE ACTIVE SCRIPTING BUFFER
+====================================================
+
+  Start scripting with some buffer, after
+  having processed another buffer.
+
+  Kill it when scripting is only partly finished.
+
+  Scripting should be cleanly turned off and it
+  should be possible to resume retraction in the 
+  first buffer.
+
+  Moreover, this ensures that if the file is on the included
+  files list, yet has been only partly processed (e.g. because
+  Undo steps were taken), then it will be retracted and
+  removed from the included files list.
+
+  FIXME: Using C-x C-v to revert to saved version doesn't
+  seem to work because it renames the buffer or something.
+
   
 
     
-- 
cgit v1.2.3