#155 closed defect (fixed)
sending past end doesn't work quite right ("undo" fails, maybe more)
| Reported by: | alex heneveld | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | minor | Milestone: | |
| Component: | 1:pg-eclipse | Keywords: | |
| Cc: |
Description
if i parse a theory passed the "end" point, "undo" no longer works; ("undo all" sometimes does, but "undo" should give an error at least)
i'm also not sure it correctly registers that the theory is closed, when i switch to another theory it wouldn't let me activate it (but that could be do to a failed retract...)
Change History (2)
comment:1 Changed 16 years ago by
| Priority: | major → minor |
|---|---|
| Resolution: | → fixed |
| Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
Think this has been fixed now, see #24