diff options
| author | David Aspinall | 1998-11-03 18:06:54 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-03 18:06:54 +0000 |
| commit | 4a9c2da087829312adff30e39d28faa101c795f0 (patch) | |
| tree | 35120a5468b90a316fe1d44f0ba4971cafc39cfb /BUGS | |
| parent | b88f7a0d2d6b8faf330bb7cf074b22e1da757a2b (diff) | |
Updated and improved.
Diffstat (limited to 'BUGS')
| -rw-r--r-- | BUGS | 12 |
1 files changed, 5 insertions, 7 deletions
@@ -6,19 +6,17 @@ $Id$ * Toolbar: retract button can give "BUG" error message "called from wrong buffer" when the process is inactive. -* Toolbar: not updated properly. See redisplay-frame attempt -in proof-shell-filter. Why does this behave strangely? - * Ordinary undo in script buffer can edit the "uneditable region" -in XEmacs. This doesn't happen in FSFmacs! Test case: +in XEmacs. This doesn't happen in FSFmacs. Test case: Insert some nonsense text after the locked region. Kill the line. Process to the next command. - Press C-x u, nonsense text appears in locked region! + Press C-x u, nonsense text appears in locked region. +Workaround: take care with undo in XEmacs. * Using C-g can leave script management in a mess. The code needs to have some regions protected from Emacs interrupts. -At the moment, don't type C-g while script management is -processing. If you do, use proof-restart-scripting. +Workaround: Don't type C-g while script management is processing. If +you do, use proof-restart-scripting. * You can't use more than one proof assistant at a time in the same Emacs session. Nasty things happen if proof-assistants enables |