Opened 17 years ago
Last modified 11 years ago
#75 new enhancement
Proof Script Editor context menu improvements
Reported by: | David Aspinall | Owned by: | David Aspinall |
---|---|---|---|
Priority: | major | Milestone: | |
Component: | 1:pg-eclipse | Keywords: | |
Cc: |
Description
The context menu (right-click) in the proof script editor needs some improvement:
- Open definition/declaration should be at top, near Show In, with key binding
- Open definition might be disabled for comment text, unknown words --- if context-sensitive enabling can be made to work (currently broken for Goto on difference scripts)
- Show In should be enabled for outline view, proof explorer
- Compared with Java editor: References and Declarations items would be useful.
Note: See
TracTickets for help on using
tickets.
Milestone PG-Eclipse-1.0.7 deleted