Opened 17 years ago
Last modified 11 years ago
#86 closed defect
Fix parse edit offset — at Version 1
Reported by: | David Aspinall | Owned by: | David Aspinall |
---|---|---|---|
Priority: | blocker | Milestone: | |
Component: | 1:pg-eclipse | Keywords: | |
Cc: |
Description (last modified by )
Editing document sets the parse edit offset, the position from which parsing begins next time.
The code for adjusting this had faulty logic in earlier versions. It was fixed but seems to have broken again, perhaps with parser adjustments. This causes bad breakage because it gets difficult to edit text.
Change History (1)
comment:1 Changed 17 years ago by
Description: | modified (diff) |
---|---|
Priority: | major → blocker |
Note: See
TracTickets for help on using
tickets.
We need to add/identifiy a test case for this in ed.inf.proofgeneral.tests