Opened 17 years ago
Last modified 11 years ago
#31 new defect
— at Initial Version
| Reported by: | Owned by: | David Aspinall | |
|---|---|---|---|
| Priority: | minor | Milestone: | |
| Component: | 1:pg-eclipse | Keywords: | |
| Cc: |
Description
There are some cases when the decorators do not get updated to reflect the active script changing. These should be tracked down and fixed.
The failures may be related to recent changes in ProofScriptDocument.java which calls a method to update them; perhaps that method should be called in more places now.
Note: See
TracTickets for help on using
tickets.
