From 33535c43eac23dd3981ada7a69250644d8be4a2e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 13 Sep 1999 14:20:53 +0000
Subject: Mentioned toolbar enabler potential problems

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

diff --git a/BUGS b/BUGS
index d6e8c577..b4505b79 100644
--- a/BUGS
+++ b/BUGS
@@ -17,6 +17,11 @@ observe this, please submit a bug report with details of your system
 and any other information you think may be relevant.  Workaround:
 switch to using XEmacs.
 
+* Toolbar enablers for XEmacs 21: since these have been switched on,
+it is apparent that the recognition of completed proofs is unreliable.
+Please report cases where the buttons are enabled/disabled at the 
+wrong time.  
+
 * Ordinary undo in script buffer can edit the "uneditable region"
 in XEmacs.  This doesn't happen in FSFmacs.  Test case:
   Insert some nonsense text after the locked region.
-- 
cgit v1.2.3