blob: 34d9c37689edfe10075d12e997587abda89fe1fa [file] [log] [blame]
<?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>