Opened 14 years ago
Last modified 11 years ago
#354 new defect
synchronisation lost with "process rest" and "undo"
Reported by: | nils | Owned by: | David Aspinall |
---|---|---|---|
Priority: | minor | Milestone: | |
Component: | 1:pg-eclipse | Keywords: | |
Cc: |
Description
this error is not really reproducible, but nevertheless occurs quite often to me. i press "process rest" and then "undo". this brings me in most cases to the beginning of the theory (which it shouldn't) and sometimes it fails to remove the theory, resulting in "illegal application of theory in theory mode". sometimes it gets stuck in another mode e.g. ML mode or proof mode, depending from where i clicked the "undo".
seems similar to http://proofgeneral.inf.ed.ac.uk/trac/ticket/293
Change History (2)
comment:1 Changed 14 years ago by
Component: | 2:pg-emacs → 1:pg-eclipse |
---|---|
Milestone: | PG-Emacs-4.0 → PG-Eclipse-1.0.6 |
Note: See
TracTickets for help on using
tickets.
Thanks for adding the note. I'm guessing like your #353 this is a report about PG Eclipse, not the Emacs version. So #293 is not relevant.