#7 closed enhancement (fixed)
Finish proof explorer: inherit decorators, menus, etc. from Project Explorer.
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 (13)
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.
comment:12 Changed 16 years ago by
Resolution: | → fixed |
---|---|
Status: | new → closed |
The content filter now works properly for the navigator, which was hiding files and folders inside projects. Now I've adjusted the filter, files and decorators, etc appear (see plugin.xml). I've also added further "new" wizards. Closing this for now as the navigator is now quite usable.
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