Changes between Initial Version and Version 2 of Ticket #31


Ignore:
Timestamp:
Feb 27, 2007, 12:50:28 PM (17 years ago)
Author:
David Aspinall
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #31

    • Property Type changed from defect to enhancement
    • Property Summary changed from to Decorator fixes

  • Ticket #31 – Description

    initial v2  
    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. 
     1 * Decorator icons should be improved: make them smaller.
    22
    3 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.
     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.