Changes between Version 6 and Version 7 of Ticket #31


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

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

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #31

    • Property Summary changed from Decorator fixes and appearance improvements to Decorators not always updated

  • Ticket #31 – Description

    v6 v7  
    1  * Decorator icons should be improved: make them smaller.
    2 
    3  * There are some cases when the decorators do not get updated to reflect the active script changing. These should be tracked down and fixed. The failures may be related to recent changes in `ProofScriptDocument.java` which calls a method to update them; perhaps that method should be called in more places now.
     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().