diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-09-13 14:20:53 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-09-13 14:20:53 +0000 |
| commit | 33535c43eac23dd3981ada7a69250644d8be4a2e (patch) | |
| tree | 6cc04eb59c2c60ff035f4ab4f4c37f868e958ec4 /BUGS | |
| parent | eadcde77e746dee4b8f1dbfff483f59d1aeff76c (diff) | |
Mentioned toolbar enabler potential problems
Diffstat (limited to 'BUGS')
| -rw-r--r-- | BUGS | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -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. |