| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.2"?> |
| <plugin> |
| <extension-point id="org.eclipse.linuxtools.valgrind.ui.valgrindToolViews" name="%extension-point.name.0" schema="schema/valgrindToolViews.exsd"/> |
| <extension |
| point="org.eclipse.ui.views"> |
| <view |
| allowMultiple="false" |
| category="org.eclipse.linuxtools.profiling.ui" |
| class="org.eclipse.linuxtools.internal.valgrind.ui.ValgrindViewPart" |
| icon="icons/valgrind-icon.png" |
| id="org.eclipse.linuxtools.valgrind.ui.valgrindview" |
| name="%view.name.0" |
| restorable="true"> |
| </view> |
| </extension> |
| <extension |
| point="org.eclipse.ui.menus"> |
| <menuContribution |
| locationURI="toolbar:org.eclipse.linuxtools.valgrind.ui.valgrindview"> |
| <separator |
| name="toolbarLocal" |
| visible="false"> |
| </separator> |
| </menuContribution> |
| <menuContribution |
| locationURI="toolbar:org.eclipse.linuxtools.valgrind.ui.valgrindview?after=toolbarLocal"> |
| <separator |
| name="toolbarExtensions" |
| visible="false"> |
| </separator> |
| </menuContribution> |
| </extension> |
| <extension |
| point="org.eclipse.ui.editors.annotationTypes"> |
| <type |
| markerSeverity="2" |
| markerType="org.eclipse.linuxtools.valgrind.launch.marker" |
| name="org.eclipse.linuxtools.valgrind.annotation.error" |
| super="org.eclipse.ui.workbench.texteditor.error"> |
| </type> |
| <type |
| markerSeverity="1" |
| markerType="org.eclipse.linuxtools.valgrind.launch.marker" |
| name="org.eclipse.linuxtools.valgrind.annotation.warning" |
| super="org.eclipse.ui.workbench.texteditor.warning"> |
| </type> |
| <type |
| markerSeverity="0" |
| markerType="org.eclipse.linuxtools.valgrind.launch.marker" |
| name="org.eclipse.linuxtools.valgrind.annotation.info" |
| super="org.eclipse.ui.workbench.texteditor.info"> |
| </type> |
| </extension> |
| <extension |
| point="org.eclipse.ui.editors.markerAnnotationSpecification"> |
| <specification |
| annotationType="org.eclipse.linuxtools.valgrind.annotation.error" |
| label="%marker.editor.error" |
| icon="icons/valgrind-error.png" |
| quickFixIcon="icons/valgrind-error.png" |
| presentationLayer="6"> |
| </specification> |
| <specification |
| annotationType="org.eclipse.linuxtools.valgrind.annotation.warning" |
| label="%marker.editor.warning" |
| icon="icons/valgrind-warning.png" |
| quickFixIcon="icons/valgrind-warning.png" |
| presentationLayer="5"> |
| </specification> |
| <specification |
| annotationType="org.eclipse.linuxtools.valgrind.annotation.info" |
| label="%marker.editor.info" |
| icon="icons/valgrind-info.png" |
| presentationLayer="4"> |
| </specification> |
| </extension> |
| <extension |
| point="org.eclipse.ui.ide.markerResolution"> |
| <markerResolutionGenerator |
| class="org.eclipse.linuxtools.internal.valgrind.ui.quickfixes.ValgrindResolutionGenerator" |
| markerType="org.eclipse.linuxtools.valgrind.launch.marker"> |
| </markerResolutionGenerator> |
| </extension> |
| |
| </plugin> |