Opened 16 years ago
Closed 16 years ago
#167 closed defect (invalid)
GNU Emacs 22.1.1 allows only one undo in a row from the toolbar while C-c C-u works
Reported by: | An Isabelle Developer | Owned by: | David Aspinall |
---|---|---|---|
Priority: | minor | Milestone: | PG-Emacs-3.7 |
Component: | 2:pg-emacs | Keywords: | undo |
Cc: |
Description
I use Isabelle 2007 with PG 3.7pre071112 under GNU Emacs 22.1.1 (i586-suse-linux-gnu, GTK+ Version 2.12.0) of 2007-11-24 on dede (part of opeSUSE 10.3).
The undo facility for proof steps works from the keyboard (C-c C-u), but not twice in a row when klicking on the Undo button on the tool bar of Emacs. One may alternate C-c C-u and the Undo button, though.
Yours sincerely, Ralph Matthes www.irit.fr/~Ralph.Matthes/
Note: See
TracTickets for help on using
tickets.
Thanks for the report, Ralph.
Unfortunately I can't reproduce this problem on the Fedora 8 build of GNU Emacs 22.1.1 (i386-redhat-linux-gnu, GTK+ Version 2.12.1).
Is the problem that the button becomes temporarily disabled until you make another action with the prover? Notice that it's normal that if you click very quickly clicks may be lost as the button is temporarily disabled when the undo is processed, but it should quickly become available again.
I'm closing this for now until I can reproduce.