Opened 17 years ago

Last modified 11 years ago

#85 new enhancement

Outline view improvements

Reported by: David Aspinall Owned by: David Aspinall
Priority: minor Milestone:
Component: 1:pg-eclipse Keywords:
Cc:

Description (last modified by David Aspinall)

Some possible enhancements to the outline view:

  1. fix hiding of single-element proofs (code is there but faulty)
  2. simplify colour options? Maybe use script management colours or don't
  3. add standard context menu for elements

Change History (2)

comment:1 Changed 17 years ago by David Aspinall

Description: modified (diff)

comment:2 Changed 11 years ago by David Aspinall

Milestone: PG-Eclipse-1.0.7

Milestone PG-Eclipse-1.0.7 deleted

Note: See TracTickets for help on using tickets.