blob: 7defb489800676771814b867999bd0701df0fc3c [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
22 category="org.eclipse.objectteams.otdt.ui.java"
23 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>
28 </extension>
29
30<!-- OTDT help extension-->
31 <extension point="org.eclipse.help.toc">
32 <toc file="guide/toc.xml" primary="true"/>
33 </extension>
34
35 <extension
36 point="org.eclipse.ui.views">
37 <view
38 name="OT/J Language Definition"
39 icon="icons/ot_paragraph.gif"
40 category="org.eclipse.objectteams.otdt.ui"
41 class="org.eclipse.objectteams.otdt.ui.help.views.OTJLDView"
42 id="org.eclipse.objectteams.otdt.ui.help.views.OTJLDView">
43 <description>
44 Browsable view of the OT/J Language Definition.
45 </description>
46 </view>
47 </extension>
48 <extension
49 point="org.eclipse.ui.popupMenus">
50 <viewerContribution
51 targetID="org.eclipse.ui.views.ProblemView"
52 id="org.eclipse.objectteams.otdt.ui.help.problemContribution">
53 <action
54 class="org.eclipse.objectteams.otdt.ui.help.actions.ShowOTJLDAction"
55 enablesFor="1"
56 icon="icons/ot_paragraph.gif"
57 id="org.eclipse.objectteams.otdt.ui.help.actions.ShowOTJLDAction"
58 label="Go to Language Definition"
59 menubarPath="group.showIn"/>
60 </viewerContribution>
61 </extension>
62
63 <extension
64 point="org.eclipse.ui.viewActions">
65 <viewContribution
66 id="org.eclipse.objectteams.otdt.ui.help.OTJLDView.actions"
67 targetID="org.eclipse.objectteams.otdt.ui.help.views.OTJLDView">
68 <action
69 class="org.eclipse.objectteams.otdt.ui.help.actions.OTJLDViewActionDelegate"
70 disabledIcon="icons/dlcl16/nav_home.gif"
71 hoverIcon="icons/clcl16/nav_home.gif"
72 icon="icons/elcl16/nav_home.gif"
73 id="org.eclipse.objectteams.otdt.ui.help.OTJLDView.home"
74 label="Table Of Contents"
75 style="push"
76 toolbarPath="additions"
77 tooltip="Table Of Contents">
78 </action>
79 <action
80 class="org.eclipse.objectteams.otdt.ui.help.actions.OTJLDViewActionDelegate"
81 disabledIcon="icons/dlcl16/nav_forward.gif"
82 hoverIcon="icons/clcl16/nav_forward.gif"
83 icon="icons/elcl16/nav_forward.gif"
84 id="org.eclipse.objectteams.otdt.ui.help.OTJLDView.next"
85 label="Forward to the next page"
86 style="push"
87 toolbarPath="additions"
88 tooltip="Forward to the next page">
89 </action>
90 <action
91 class="org.eclipse.objectteams.otdt.ui.help.actions.OTJLDViewActionDelegate"
92 disabledIcon="icons/dlcl16/nav_backward.gif"
93 hoverIcon="icons/clcl16/nav_backward.gif"
94 icon="icons/elcl16/nav_backward.gif"
95 id="org.eclipse.objectteams.otdt.ui.help.OTJLDView.back"
96 label="Back to the previous page"
97 style="push"
98 toolbarPath="additions"
99 tooltip="Back to the previous page">
100 </action>
101 </viewContribution>
102 </extension>
103 <extension
104 point="org.eclipse.ui.perspectiveExtensions">
105 <perspectiveExtension
106 targetID="org.eclipse.objectteams.otdt.ui.OTJavaPerspective">
107 <viewShortcut
108 id="org.eclipse.objectteams.otdt.ui.help.views.OTJLDView">
109 </viewShortcut>
110 <view
111 id="org.eclipse.objectteams.otdt.ui.help.views.OTJLDView"
112 minimized="false"
113 relationship="stack"
114 relative="org.eclipse.ui.views.ProblemView">
115 </view>
116 </perspectiveExtension>
117 </extension>
Stephan Herrmanne2a5e602010-06-27 22:18:29 +0000118 <extension
119 point="org.eclipse.objectteams.otdt.ui.updateRulerActionExtenders">
120 <extender
121 class="org.eclipse.objectteams.otdt.ui.help.actions.UpdateRulerAction"
122 editorClass="org.eclipse.jdt.internal.ui.javaeditor.CompilationUnitEditor">
123 </extender>
124 </extension>
Stephan Herrmann6a0d1572010-06-27 23:25:21 +0000125 <extension
126 point="org.eclipse.objectteams.otequinox.aspectBindings">
127 <aspectBinding
128 icon="platform:/plugin/org.eclipse.objectteams.otdt.ui/icons/ot/calloutbinding_obj.gif">
129 <basePlugin
130 icon="platform:/plugin/org.eclipse.pde.ui/icons/obj16/plugin_obj.gif"
131 id="org.eclipse.jdt.ui">
132 </basePlugin>
133 <team
134 activation="ALL_THREADS"
135 class="org.eclipse.objectteams.otdt.ui.help.actions.HoverAdaptor"
136 icon="platform:/plugin/org.eclipse.objectteams.otdt.ui/icons/ot/team_obj.gif">
137 </team>
138 </aspectBinding>
139 </extension>
Stephan Herrmann01664412010-04-01 20:28:43 +0000140
141 <!--
142 <extension
143 point="org.eclipse.jdt.ui.javaEditorTextHovers">
144 <hover
145 id="org.eclipse.objectteams.otdt.ui.help.IProblemDocumentation"
146 class="org.eclipse.objectteams.otdt.ui.help.IProblemDocumentation"
147 label="ObjectTeams Language Specification Hover"/>
148 </extension>
149 -->
150
151</plugin>