1 files changed, 5 insertions, 0 deletions
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.