Opened 17 years ago
Last modified 11 years ago
#7 closed enhancement
Finish proof explorer: inherit decorators, menus, etc. from Project Explorer. — at Version 11
Reported by: | anonymous | Owned by: | Graham Dutton |
---|---|---|---|
Priority: | major | Milestone: | |
Component: | 1:pg-eclipse | Keywords: | |
Cc: |
Description (last modified by )
The Proof Explorer view needs to inherit more of the functionality of the Project Explorer, including decoration and extra menus.
Change History (11)
comment:1 Changed 17 years ago by
Component: | documentation → proofgeneral-eclipse |
---|
comment:2 Changed 17 years ago by
Owner: | changed from David Aspinall to anonymous |
---|---|
Status: | new → assigned |
Platform menu contributions (open, etc) fixed in plugin.xml 1.131.
Still to do: label decorators for standard error markers. I'm not sure whether this should be provided by the platform or not. If not, the code should be easy to grab from another project.
comment:3 Changed 17 years ago by
Owner: | changed from anonymous to David Aspinall |
---|---|
Status: | assigned → new |
comment:4 Changed 17 years ago by
Owner: | changed from David Aspinall to anonymous |
---|---|
Status: | new → assigned |
comment:5 Changed 17 years ago by
Owner: | changed from anonymous to David Aspinall |
---|---|
Status: | assigned → new |
comment:6 Changed 17 years ago by
Owner: | changed from David Aspinall to anonymous |
---|
Note that error decoration system must be in place first! See ticket #71 for details.
comment:7 Changed 17 years ago by
Owner: | changed from anonymous to David Aspinall |
---|---|
Type: | defect → enhancement |
comment:8 Changed 17 years ago by
Owner: | changed from David Aspinall to Graham Dutton |
---|
comment:9 Changed 17 years ago by
Milestone: | PG-Eclipse-1.0.6 → PG-Eclipse-1.0.7 |
---|
comment:11 Changed 16 years ago by
Description: | modified (diff) |
---|---|
Summary: | Finish proof explorer: add decorators for errors and rest of menus → Finish proof explorer: inherit decorators, menus, etc. from Project Explorer. |
Updated for clarity. It's the Project Explorer which more closely reflects what we require.
Note: See
TracTickets for help on using
tickets.
The Proof Explorer uses the Common Navigator Framework. Useful information is on this blog:
http://scribbledideas.blogspot.com/
In particular:
http://scribbledideas.blogspot.com/2006/05/building-common-navigator-based-viewer.html
http://scribbledideas.blogspot.com/2006/05/building-common-navigator-based-viewer_22.html
http://scribbledideas.blogspot.com/2006/06/building-common-navigator-based-viewer.html
http://scribbledideas.blogspot.com/2006/06/building-common-navigator-based-viewer_18.html
http://scribbledideas.blogspot.com/2006/06/building-common-navigator-_115067357450703178.html