Changes between Version 7 and Version 8 of Ticket #31


Ignore:
Timestamp:
Aug 14, 2008, 5:16:34 PM (16 years ago)
Author:
Graham Dutton
Comment:

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

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #31

    • Property Type changed from enhancement to defect

  • Ticket #31 – Description

    v7 v8  
    1 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().
     1There 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()}}}.