diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-08-23 19:30:58 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-08-23 19:30:58 +0000 |
commit | a9b6ec250293bc7d88d139e3816b5fef962b6e5d (patch) | |
tree | 528ff38ae15773735ac7c16f5bd09389232b6a34 | |
parent | 877539c65efc5856695f21f77daddcf32625d08b (diff) |
Updated
-rw-r--r-- | BUGS | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -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. |