#30 closed defect (fixed)
Outline view should update after any parse
| Reported by: | Owned by: | Graham Dutton | |
|---|---|---|---|
| Priority: | minor | Milestone: | |
| Component: | 1:pg-eclipse | Keywords: | |
| Cc: |
Description (last modified by )
There are some cases when the outline view does not get updated. These should be tracked down and fixed.
Change History (3)
comment:1 Changed 17 years ago by
| Description: | modified (diff) |
|---|---|
| Owner: | changed from David Aspinall to Graham Dutton |
comment:2 Changed 17 years ago by
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
This seems probably fixed with bug fixes for edit offset and parsing.
Note: See
TracTickets for help on using
tickets.
We need some test cases for this in ed.inf.proofgeneral.tests. If it is not easily reproduced we should close the ticket for now.