Opened 17 years ago

Last modified 11 years ago

#31 new defect

Decorators not always updated

Reported by: David Aspinall <da+pgtrac@…> Owned by: Graham Dutton
Priority: minor Milestone:
Component: 1:pg-eclipse Keywords:
Cc:

Description (last modified by Graham Dutton)

There are some cases when the decorators do not get updated to reflect the active script changing. These should be tracked down and fixed, presumably with further calls to (and possible rationalisation of) the method ProofScriptDocument.updateProperties().

Change History (9)

comment:1 Changed 17 years ago by Graham Dutton

Summary: added more use-case suggestions

Other decoration possibilities:

  • decoration should become blue when fully processed, even when active (?)
  • decoration should become 'unset' when fully unprocessed, even when active (?)
  • Decoration should distinguish between active & processed (blue) and processed & not active (dark blue) (?)

comment:2 Changed 17 years ago by David Aspinall

Description: modified (diff)
Summary: added more use-case suggestionsDecorator fixes
Type: defectenhancement

comment:3 Changed 17 years ago by David Aspinall

Summary: Decorator fixesDecorator fixes and appearance improvements

comment:4 Changed 17 years ago by David Aspinall

Milestone: PG-Eclipse-1.0.6PG-Eclipse-1.0.7

comment:5 Changed 17 years ago by David Aspinall

Description: modified (diff)
Owner: changed from David Aspinall to Graham Dutton

comment:6 Changed 16 years ago by Graham Dutton

Description: modified (diff)

see also ticket #71

comment:7 Changed 16 years ago by Graham Dutton

Description: modified (diff)
Summary: Decorator fixes and appearance improvementsDecorators not always updated

Moved icon size comment to #51 in an attempt to rationalise decorator issues.

comment:8 Changed 16 years ago by Graham Dutton

Description: modified (diff)
Type: enhancementdefect

this is really a defect, albeit a very minor one.

comment:9 Changed 11 years ago by David Aspinall

Milestone: PG-Eclipse-1.0.7

Milestone PG-Eclipse-1.0.7 deleted

Note: See TracTickets for help on using tickets.