blob: 8f04c2978ddde8e4b84a282a6415d8717ecbe532 (
plain) (
blame)
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
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
|
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.0"?>
<plugin>
<extension
point="org.eclipse.ui.preferencePages">
<page
class="org.eclipse.ptp.pldt.upc.prefs.UPCPreferencePage"
id="org.eclipse.ptp.pldt.upc.prefpage"
category="org.eclipse.ptp.pldt.common.prefs.PLDTPreferencePage"
name="%page.name"/>
</extension>
<!-- UPC markers -->
<extension point="org.eclipse.core.resources.markers"
id="upcMarker"
name="%extension.name">
<super type="org.eclipse.core.resources.textmarker"/>
</extension>
<!-- this changes the marker image in the editor marker bar -->
<extension
point="org.eclipse.ui.editors.annotationTypes">
<type
markerType="org.eclipse.ptp.pldt.upc.upcMarker"
name="org.eclipse.ptp.pldt.upc.upcMarkerAnnotation">
</type>
</extension>
<extension
point="org.eclipse.ui.editors.markerAnnotationSpecification">
<specification
annotationType="org.eclipse.ptp.pldt.upc.upcMarkerAnnotation"
icon="icons/upc.gif"
presentationLayer="3"
label="%specification.label"
textPreferenceKey="upcIndication"
textPreferenceValue="true"
highlightPreferenceKey="artifactHighlighting"
highlightPreferenceValue="false"
colorPreferenceKey="artifactIndicationColor"
colorPreferenceValue="128,128,192"
verticalRulerPreferenceKey="artifactIndicationInVerticalRuler"
verticalRulerPreferenceValue="true"
showInNextPrevDropdownToolbarActionKey="showPortingInNextPrevDropdownToolbarAction"
showInNextPrevDropdownToolbarAction="false"
overviewRulerPreferenceKey="artifactIndicationInOverviewRuler"
overviewRulerPreferenceValue="true"
includeOnPreferencePage="true"
isGoToPreviousNavigationTargetKey="isPortingGoToPreviousNavigationTarget"
isGoToNextNavigationTargetKey="isPortingRecordGoToNextNavigationTarget"
>
</specification>
</extension>
<extension
point="org.eclipse.ui.views">
<view
name="%view.name"
icon="icons/upc.gif"
category="org.eclipse.ptp.ui.views"
class="org.eclipse.ptp.pldt.upc.views.UPCArtifactView"
id="org.eclipse.ptp.pldt.upc.views.upcArtifactView">
</view>
</extension>
<extension
point="org.eclipse.cdt.ui.CHelpProvider">
<provider
class="org.eclipse.ptp.pldt.upc.editorHelp.UPCCHelpInfoProvider"
id="org.eclipse.ptp.pldt.upc.editorHelp.UPCCHelpInfoProvider"/>
</extension>
<extension
point="org.eclipse.ui.commands">
<command
defaultHandler="org.eclipse.ptp.pldt.upc.actions.RunAnalyseUPCcommandHandler"
id="org.eclipse.ptp.pldt.upc.command2"
name="%command.name">
</command>
</extension>
<extension
point="org.eclipse.ui.menus">
<menuContribution
locationURI="menu:org.eclipse.ptp.pldt.common.toolbar.command1 ">
<command
commandId="org.eclipse.ptp.pldt.upc.command2"
icon="icons/upc.gif"
label="%command.label">
</command>
</menuContribution>
</extension>
<extension
point="org.eclipse.ui.editors.templates">
<include
file="templates/upc_templates.xml">
</include>
</extension>
<extension
point="org.eclipse.core.runtime.preferences">
<initializer
class="org.eclipse.ptp.pldt.upc.prefs.UPCPreferenceInitializer">
</initializer>
</extension>
</plugin>
|
