blob: e21f70caa7ace5ae605e53f67dd4b4ed56ac3059 [file] [log] [blame]
Stephan Herrmann01664412010-04-01 20:28:43 +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<!-- OTDT cheat sheet extension for small OT example -->
20 <extension point="org.eclipse.ui.cheatsheets.cheatSheetContent">
21 <cheatsheet
Stephan Herrmannc8795992010-11-25 12:20:22 +000022 category="org.eclipse.objectteams"
Stephan Herrmann01664412010-04-01 20:28:43 +000023 contentFile="cheatsheets/SimpleOTApplication.xml"
24 id="org.eclipse.objectteams.otdt.ui.help.cheatsheets.SimpleOTApplication"
25 name="%cheatsheet.SimpleOTApplication.name">
26 <description>%cheatsheet.SimpleOTApplication.desc</description>
27 </cheatsheet>
Stephan Herrmannc8795992010-11-25 12:20:22 +000028 <category
29 id="org.eclipse.objectteams"
30 name="Object Teams">
31 </category>
Stephan Herrmann01664412010-04-01 20:28:43 +000032 </extension>
33
34<!-- OTDT help extension-->
35 <extension point="org.eclipse.help.toc">
36 <toc file="guide/toc.xml" primary="true"/>
37 </extension>
38
39 <extension
40 point="org.eclipse.ui.views">
41 <view
42 name="OT/J Language Definition"
43 icon="icons/ot_paragraph.gif"
44 category="org.eclipse.objectteams.otdt.ui"
Stephan Herrmann1219f132011-05-05 18:38:07 +000045 class="org.eclipse.objectteams.otdt.internal.ui.help.views.OTJLDView"
Stephan Herrmann01664412010-04-01 20:28:43 +000046 id="org.eclipse.objectteams.otdt.ui.help.views.OTJLDView">
47 <description>
48 Browsable view of the OT/J Language Definition.
49 </description>
50 </view>
51 </extension>
52 <extension
53 point="org.eclipse.ui.popupMenus">
54 <viewerContribution
55 targetID="org.eclipse.ui.views.ProblemView"
56 id="org.eclipse.objectteams.otdt.ui.help.problemContribution">
57 <action
Stephan Herrmann1219f132011-05-05 18:38:07 +000058 class="org.eclipse.objectteams.otdt.internal.ui.help.actions.ShowOTJLDAction"
Stephan Herrmann01664412010-04-01 20:28:43 +000059 enablesFor="1"
60 icon="icons/ot_paragraph.gif"
61 id="org.eclipse.objectteams.otdt.ui.help.actions.ShowOTJLDAction"
62 label="Go to Language Definition"
63 menubarPath="group.showIn"/>
64 </viewerContribution>
65 </extension>
66
67 <extension
68 point="org.eclipse.ui.viewActions">
69 <viewContribution
70 id="org.eclipse.objectteams.otdt.ui.help.OTJLDView.actions"
71 targetID="org.eclipse.objectteams.otdt.ui.help.views.OTJLDView">
72 <action
Stephan Herrmann1219f132011-05-05 18:38:07 +000073 class="org.eclipse.objectteams.otdt.internal.ui.help.actions.OTJLDViewActionDelegate"
Stephan Herrmann01664412010-04-01 20:28:43 +000074 disabledIcon="icons/dlcl16/nav_home.gif"
75 hoverIcon="icons/clcl16/nav_home.gif"
76 icon="icons/elcl16/nav_home.gif"
77 id="org.eclipse.objectteams.otdt.ui.help.OTJLDView.home"
78 label="Table Of Contents"
79 style="push"
80 toolbarPath="additions"
81 tooltip="Table Of Contents">
82 </action>
83 <action
Stephan Herrmann1219f132011-05-05 18:38:07 +000084 class="org.eclipse.objectteams.otdt.internal.ui.help.actions.OTJLDViewActionDelegate"
Stephan Herrmann01664412010-04-01 20:28:43 +000085 disabledIcon="icons/dlcl16/nav_forward.gif"
86 hoverIcon="icons/clcl16/nav_forward.gif"
87 icon="icons/elcl16/nav_forward.gif"
88 id="org.eclipse.objectteams.otdt.ui.help.OTJLDView.next"
89 label="Forward to the next page"
90 style="push"
91 toolbarPath="additions"
92 tooltip="Forward to the next page">
93 </action>
94 <action
Stephan Herrmann1219f132011-05-05 18:38:07 +000095 class="org.eclipse.objectteams.otdt.internal.ui.help.actions.OTJLDViewActionDelegate"
Stephan Herrmann01664412010-04-01 20:28:43 +000096 disabledIcon="icons/dlcl16/nav_backward.gif"
97 hoverIcon="icons/clcl16/nav_backward.gif"
98 icon="icons/elcl16/nav_backward.gif"
99 id="org.eclipse.objectteams.otdt.ui.help.OTJLDView.back"
100 label="Back to the previous page"
101 style="push"
102 toolbarPath="additions"
103 tooltip="Back to the previous page">
104 </action>
105 </viewContribution>
106 </extension>
107 <extension
108 point="org.eclipse.ui.perspectiveExtensions">
109 <perspectiveExtension
110 targetID="org.eclipse.objectteams.otdt.ui.OTJavaPerspective">
111 <viewShortcut
112 id="org.eclipse.objectteams.otdt.ui.help.views.OTJLDView">
113 </viewShortcut>
114 <view
115 id="org.eclipse.objectteams.otdt.ui.help.views.OTJLDView"
116 minimized="false"
117 relationship="stack"
118 relative="org.eclipse.ui.views.ProblemView">
119 </view>
120 </perspectiveExtension>
121 </extension>
Stephan Herrmanne2a5e602010-06-27 22:18:29 +0000122 <extension
123 point="org.eclipse.objectteams.otdt.ui.updateRulerActionExtenders">
124 <extender
Stephan Herrmann1219f132011-05-05 18:38:07 +0000125 class="org.eclipse.objectteams.otdt.internal.ui.help.actions.UpdateRulerAction"
Stephan Herrmanne2a5e602010-06-27 22:18:29 +0000126 editorClass="org.eclipse.jdt.internal.ui.javaeditor.CompilationUnitEditor">
127 </extender>
128 </extension>
Stephan Herrmann6a0d1572010-06-27 23:25:21 +0000129 <extension
130 point="org.eclipse.objectteams.otequinox.aspectBindings">
131 <aspectBinding
132 icon="platform:/plugin/org.eclipse.objectteams.otdt.ui/icons/ot/calloutbinding_obj.gif">
133 <basePlugin
134 icon="platform:/plugin/org.eclipse.pde.ui/icons/obj16/plugin_obj.gif"
135 id="org.eclipse.jdt.ui">
136 </basePlugin>
137 <team
138 activation="ALL_THREADS"
Stephan Herrmann1219f132011-05-05 18:38:07 +0000139 class="org.eclipse.objectteams.otdt.internal.ui.help.actions.HoverAdaptor"
Stephan Herrmann6a0d1572010-06-27 23:25:21 +0000140 icon="platform:/plugin/org.eclipse.objectteams.otdt.ui/icons/ot/team_obj.gif">
141 </team>
142 </aspectBinding>
143 </extension>
Stephan Herrmann01664412010-04-01 20:28:43 +0000144
145 <!--
146 <extension
147 point="org.eclipse.jdt.ui.javaEditorTextHovers">
148 <hover
149 id="org.eclipse.objectteams.otdt.ui.help.IProblemDocumentation"
150 class="org.eclipse.objectteams.otdt.ui.help.IProblemDocumentation"
151 label="ObjectTeams Language Specification Hover"/>
152 </extension>
153 -->
154
155</plugin>