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 David Aspinall

Priority: majorcritical

comment:2 Changed 11 years ago by David Aspinall

Milestone: PG-Eclipse-1.0.6

Milestone PG-Eclipse-1.0.6 deleted

Note: See TracTickets for help on using tickets.