Opened 16 years ago
Last modified 11 years ago
#252 new defect
Tune script management markers
Reported by: | David Aspinall | Owned by: | David Aspinall |
---|---|---|---|
Priority: | critical | Milestone: | |
Component: | 1:pg-eclipse | Keywords: | |
Cc: |
Description
Script management markers are an experimental alternative to token colouring and partitionChangeBroadcast which is buggy when sent messages that do not actually correspond to text changes (see #246).
We have to decide whether to switch to use these for the release or to try and fix the partitionChangeBroadcast mechanism instead. A key issue is scheduling marker updates so that the changes are responsive enough in the UI but do not get triggered too often.
Note: See
TracTickets for help on using
tickets.
Milestone PG-Eclipse-1.0.6 deleted