blob: ef12c622383ba767364f7cfc5cc7fb0005927b6b [file] [log] [blame]
Stephan Herrmann7b320d82011-06-13 21:31:37 +00001<?xml version="1.0" encoding="UTF-8"?>
2<?eclipse version="3.0"?>
3<plugin>
4
5
6<!-- OTDT extensions for intro/welcome page -->
7 <extension point="org.eclipse.ui.intro.configExtension">
8 <configExtension
9 configId="org.eclipse.ui.intro.universalConfig"
10 content="intro/overviewExtensionContent.xml"/>
11 </extension>
12
13 <extension point="org.eclipse.ui.intro.configExtension">
14 <configExtension
15 configId="org.eclipse.ui.intro.universalConfig"
16 content="intro/tutorialsExtensionContentOT.xml"/>
17 </extension>
18
19 <extension point="org.eclipse.ui.intro.configExtension">
20 <configExtension
21 configId="org.eclipse.ui.intro.universalConfig"
22 content="intro/whatsnewExtensionContent.xml"/>
23 </extension>
24
25<!-- OTDT cheat sheet extension for small OT example -->
26 <extension point="org.eclipse.ui.cheatsheets.cheatSheetContent">
27 <cheatsheet
28 category="org.eclipse.objectteams"
29 contentFile="cheatsheets/SimpleOTApplication.xml"
30 id="org.eclipse.objectteams.otdt.ui.help.cheatsheets.SimpleOTApplication"
31 name="%cheatsheet.SimpleOTApplication.name">
32 <description>%cheatsheet.SimpleOTApplication.desc</description>
33 </cheatsheet>
34 <category
35 id="org.eclipse.objectteams"
36 name="Object Teams">
37 </category>
38 </extension>
39
40<!-- OTDT help extension-->
Stephan Herrmann7b320d82011-06-13 21:31:37 +000041 <extension
42 point="org.eclipse.ui.views">
43 <view
44 name="OT/J Language Definition"
45 icon="icons/ot_paragraph.gif"
46 category="org.eclipse.objectteams.otdt.ui"
47 class="org.eclipse.objectteams.otdt.internal.ui.help.views.OTJLDView"
48 id="org.eclipse.objectteams.otdt.ui.help.views.OTJLDView">
49 <description>
50 Browsable view of the OT/J Language Definition.
51 </description>
52 </view>
53 </extension>
54 <extension
55 point="org.eclipse.ui.popupMenus">
56 <viewerContribution
57 targetID="org.eclipse.ui.views.ProblemView"
58 id="org.eclipse.objectteams.otdt.ui.help.problemContribution">
59 <action
60 class="org.eclipse.objectteams.otdt.internal.ui.help.actions.ShowOTJLDAction"
61 enablesFor="1"
62 icon="icons/ot_paragraph.gif"
63 id="org.eclipse.objectteams.otdt.ui.help.actions.ShowOTJLDAction"
64 label="Go to Language Definition"
65 menubarPath="group.showIn"/>
66 </viewerContribution>
67 </extension>
68
69 <extension
70 point="org.eclipse.ui.viewActions">
71 <viewContribution
72 id="org.eclipse.objectteams.otdt.ui.help.OTJLDView.actions"
73 targetID="org.eclipse.objectteams.otdt.ui.help.views.OTJLDView">
74 <action
75 class="org.eclipse.objectteams.otdt.internal.ui.help.actions.OTJLDViewActionDelegate"
76 disabledIcon="icons/dlcl16/nav_home.gif"
77 hoverIcon="icons/clcl16/nav_home.gif"
78 icon="icons/elcl16/nav_home.gif"
79 id="org.eclipse.objectteams.otdt.ui.help.OTJLDView.home"
80 label="Table Of Contents"
81 style="push"
82 toolbarPath="additions"
83 tooltip="Table Of Contents">
84 </action>
85 <action
86 class="org.eclipse.objectteams.otdt.internal.ui.help.actions.OTJLDViewActionDelegate"
87 disabledIcon="icons/dlcl16/nav_forward.gif"
88 hoverIcon="icons/clcl16/nav_forward.gif"
89 icon="icons/elcl16/nav_forward.gif"
90 id="org.eclipse.objectteams.otdt.ui.help.OTJLDView.next"
91 label="Forward to the next page"
92 style="push"
93 toolbarPath="additions"
94 tooltip="Forward to the next page">
95 </action>
96 <action
97 class="org.eclipse.objectteams.otdt.internal.ui.help.actions.OTJLDViewActionDelegate"
98 disabledIcon="icons/dlcl16/nav_backward.gif"
99 hoverIcon="icons/clcl16/nav_backward.gif"
100 icon="icons/elcl16/nav_backward.gif"
101 id="org.eclipse.objectteams.otdt.ui.help.OTJLDView.back"
102 label="Back to the previous page"
103 style="push"
104 toolbarPath="additions"
105 tooltip="Back to the previous page">
106 </action>
107 </viewContribution>
108 </extension>
109 <extension
110 point="org.eclipse.ui.perspectiveExtensions">
111 <perspectiveExtension
112 targetID="org.eclipse.objectteams.otdt.ui.OTJavaPerspective">
113 <viewShortcut
114 id="org.eclipse.objectteams.otdt.ui.help.views.OTJLDView">
115 </viewShortcut>
116 <view
117 id="org.eclipse.objectteams.otdt.ui.help.views.OTJLDView"
118 minimized="false"
119 relationship="stack"
120 relative="org.eclipse.ui.views.ProblemView">
121 </view>
122 </perspectiveExtension>
123 </extension>
124 <extension
125 point="org.eclipse.objectteams.otdt.ui.updateRulerActionExtenders">
126 <extender
127 class="org.eclipse.objectteams.otdt.internal.ui.help.actions.UpdateRulerAction"
128 editorClass="org.eclipse.jdt.internal.ui.javaeditor.CompilationUnitEditor">
129 </extender>
130 </extension>
131 <extension
132 point="org.eclipse.objectteams.otequinox.aspectBindings">
133 <aspectBinding
134 icon="platform:/plugin/org.eclipse.objectteams.otdt.ui/icons/ot/calloutbinding_obj.gif">
135 <basePlugin
136 icon="platform:/plugin/org.eclipse.pde.ui/icons/obj16/plugin_obj.gif"
137 id="org.eclipse.jdt.ui">
138 </basePlugin>
139 <team
140 activation="ALL_THREADS"
141 class="org.eclipse.objectteams.otdt.internal.ui.help.actions.HoverAdaptor"
142 icon="platform:/plugin/org.eclipse.objectteams.otdt.ui/icons/ot/team_obj.gif">
143 </team>
144 </aspectBinding>
145 </extension>
146
147 <!--
148 <extension
149 point="org.eclipse.jdt.ui.javaEditorTextHovers">
150 <hover
151 id="org.eclipse.objectteams.otdt.ui.help.IProblemDocumentation"
152 class="org.eclipse.objectteams.otdt.ui.help.IProblemDocumentation"
153 label="ObjectTeams Language Specification Hover"/>
154 </extension>
155 -->
156
157</plugin>