Opened 16 years ago
Last modified 11 years ago
#246 new defect
Fix ProofScriptDocument partitionChangeBroadcast
Reported by: | David Aspinall | Owned by: | David Aspinall |
---|---|---|---|
Priority: | critical | Milestone: | |
Component: | 1:pg-eclipse | Keywords: | |
Cc: |
Description
This triggers null pointer exceptions in ProjectionDocument? and is perhaps responsible for editing oddities when folding is enabled, see #123
Change History (2)
comment:1 Changed 16 years ago by
Priority: | major → critical |
---|
comment:2 Changed 11 years ago by
Milestone: | PG-Eclipse-1.0.6 |
---|
Note: See
TracTickets for help on using
tickets.
Milestone PG-Eclipse-1.0.6 deleted