Opened 17 years ago

Last modified 11 years ago

#73 new enhancement

Enhancements for Proof Objects view

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

Description

Some possible improvements to the Proof Objects view are:

  • Make identifier list two column and show known identifiers in main list (at least, first line of)
  • Allow viewing more than one object at once (tabs, splitting window, dragging off popups?)
  • Add context menu for more actions on identifiers (fetch values, open definition, etc).

Change History (1)

comment:1 Changed 11 years ago by David Aspinall

Milestone: PG-Eclipse-1.1.0

Milestone PG-Eclipse-1.1.0 deleted

Note: See TracTickets for help on using tickets.