Changes between Initial Version and Version 1 of Ticket #85


Ignore:
Timestamp:
Jul 10, 2007, 1:55:44 PM (17 years ago)
Author:
David Aspinall
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #85 – Description

    initial v1  
    1 Some enhancements to the outline view which are desirable:
     1Some possible enhancements to the outline view:
    22
    3  * preference (or button) for switching on/off display of comments
    4  * fix hiding of single-element proofs (code is there but faulty)
    5  * simplify colour options: use script management colours or don't
    6  * double-click action for goto here
    7  * add standard context menu for elements
     3 1. fix hiding of single-element proofs (code is there but faulty)
     4 2. simplify colour options? Maybe use script management colours or don't
     5 3. add standard context menu for elements