Changes between Initial Version and Version 4 of Ticket #51


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

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #51

    • Property Owner changed from David Aspinall to anonymous
    • Property Component changed from 2:pg-emacs to 1:pg-eclipse
    • Property Milestone changed from to PG-Eclipse-1.1.0

  • Ticket #51 – Description

    initial v4  
    1313
    1414This would require another case be added to the decorator, querying {{{ProofScriptDocument.ScriptingState}}}, and two new decorator icons.  These should be overlaid upon the existing Script State blue/pink icons.
     15
     16The blue/pink icons should be made a size appropriate for use in the overlay described.