1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
|
<?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>
</plugin>
|
