From a9b6ec250293bc7d88d139e3816b5fef962b6e5d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 23 Aug 1999 19:30:58 +0000
Subject: Updated

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

diff --git a/BUGS b/BUGS
index 468a69fb..c5eb665a 100644
--- a/BUGS
+++ b/BUGS
@@ -11,6 +11,11 @@ See also: http://www.dcs.ed.ac.uk/home/proofgen/ProofGeneral/BUGS
 Generic problems
 ================
 
+* Highlighting of locked (blue) and queue (red) regions in FSF Emacs
+may be unreliable in some cases.  Cause unknown.  If you observe
+this, please submit a bug report with details of your system.  
+Workaround: switch to using XEmacs.
+
 * 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