From 4a9c2da087829312adff30e39d28faa101c795f0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 3 Nov 1998 18:06:54 +0000
Subject: Updated and improved.

---
 BUGS | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

(limited to 'BUGS')

diff --git a/BUGS b/BUGS
index 021fe130..d50971a1 100644
--- a/BUGS
+++ b/BUGS
@@ -6,19 +6,17 @@ $Id$
 * Toolbar: retract button can give "BUG" error message "called from
 wrong buffer" when the process is inactive.
 
-* Toolbar: not updated properly.  See redisplay-frame attempt
-in proof-shell-filter.  Why does this behave strangely?
-
 * Ordinary undo in script buffer can edit the "uneditable region"
-in XEmacs.  This doesn't happen in FSFmacs!  Test case:
+in XEmacs.  This doesn't happen in FSFmacs.  Test case:
   Insert some nonsense text after the locked region.
   Kill the line. Process to the next command.
-  Press C-x u, nonsense text appears in locked region!
+  Press C-x u, nonsense text appears in locked region.
+Workaround: take care with undo in XEmacs.
 
 * Using C-g can leave script management in a mess.  The code
 needs to have some regions protected from Emacs interrupts.
-At the moment, don't type C-g while script management is
-processing.  If you do, use proof-restart-scripting.
+Workaround: Don't type C-g while script management is processing.  If
+you do, use proof-restart-scripting.
 
 * You can't use more than one proof assistant at a time in the same
 Emacs session.  Nasty things happen if proof-assistants enables
-- 
cgit v1.2.3