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).
Note: See
TracTickets for help on using
tickets.
Milestone PG-Eclipse-1.1.0 deleted