| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.0"?> |
| <plugin> |
| |
| |
| <!-- OTDT extensions for intro/welcome page --> |
| <extension point="org.eclipse.ui.intro.configExtension"> |
| <configExtension |
| configId="org.eclipse.ui.intro.universalConfig" |
| content="intro/overviewExtensionContent.xml"/> |
| </extension> |
| |
| <extension point="org.eclipse.ui.intro.configExtension"> |
| <configExtension |
| configId="org.eclipse.ui.intro.universalConfig" |
| content="intro/tutorialsExtensionContentOT.xml"/> |
| </extension> |
| |
| <extension point="org.eclipse.ui.intro.configExtension"> |
| <configExtension |
| configId="org.eclipse.ui.intro.universalConfig" |
| content="intro/whatsnewExtensionContent.xml"/> |
| </extension> |
| |
| <!-- OTDT cheat sheet extension for small OT example --> |
| <extension point="org.eclipse.ui.cheatsheets.cheatSheetContent"> |
| <cheatsheet |
| category="org.eclipse.objectteams" |
| contentFile="cheatsheets/SimpleOTApplication.xml" |
| id="org.eclipse.objectteams.otdt.ui.help.cheatsheets.SimpleOTApplication" |
| name="%cheatsheet.SimpleOTApplication.name"> |
| <description>%cheatsheet.SimpleOTApplication.desc</description> |
| </cheatsheet> |
| <category |
| id="org.eclipse.objectteams" |
| name="Object Teams"> |
| </category> |
| </extension> |
| |
| <!-- OTDT help extension--> |
| <extension |
| point="org.eclipse.ui.views"> |
| <view |
| name="OT/J Language Definition" |
| icon="icons/ot_paragraph.gif" |
| category="org.eclipse.objectteams.otdt.ui" |
| class="org.eclipse.objectteams.otdt.internal.ui.help.views.OTJLDView" |
| id="org.eclipse.objectteams.otdt.ui.help.views.OTJLDView"> |
| <description> |
| Browsable view of the OT/J Language Definition. |
| </description> |
| </view> |
| </extension> |
| <extension |
| point="org.eclipse.ui.popupMenus"> |
| <viewerContribution |
| targetID="org.eclipse.ui.views.ProblemView" |
| id="org.eclipse.objectteams.otdt.ui.help.problemContribution"> |
| <action |
| class="org.eclipse.objectteams.otdt.internal.ui.help.actions.ShowOTJLDAction" |
| enablesFor="1" |
| icon="icons/ot_paragraph.gif" |
| id="org.eclipse.objectteams.otdt.ui.help.actions.ShowOTJLDAction" |
| label="Go to Language Definition" |
| menubarPath="group.showIn"/> |
| </viewerContribution> |
| </extension> |
| |
| <extension |
| point="org.eclipse.ui.viewActions"> |
| <viewContribution |
| id="org.eclipse.objectteams.otdt.ui.help.OTJLDView.actions" |
| targetID="org.eclipse.objectteams.otdt.ui.help.views.OTJLDView"> |
| <action |
| class="org.eclipse.objectteams.otdt.internal.ui.help.actions.OTJLDViewActionDelegate" |
| disabledIcon="icons/dlcl16/nav_home.gif" |
| hoverIcon="icons/clcl16/nav_home.gif" |
| icon="icons/elcl16/nav_home.gif" |
| id="org.eclipse.objectteams.otdt.ui.help.OTJLDView.home" |
| label="Table Of Contents" |
| style="push" |
| toolbarPath="additions" |
| tooltip="Table Of Contents"> |
| </action> |
| <action |
| class="org.eclipse.objectteams.otdt.internal.ui.help.actions.OTJLDViewActionDelegate" |
| disabledIcon="icons/dlcl16/nav_forward.gif" |
| hoverIcon="icons/clcl16/nav_forward.gif" |
| icon="icons/elcl16/nav_forward.gif" |
| id="org.eclipse.objectteams.otdt.ui.help.OTJLDView.next" |
| label="Forward to the next page" |
| style="push" |
| toolbarPath="additions" |
| tooltip="Forward to the next page"> |
| </action> |
| <action |
| class="org.eclipse.objectteams.otdt.internal.ui.help.actions.OTJLDViewActionDelegate" |
| disabledIcon="icons/dlcl16/nav_backward.gif" |
| hoverIcon="icons/clcl16/nav_backward.gif" |
| icon="icons/elcl16/nav_backward.gif" |
| id="org.eclipse.objectteams.otdt.ui.help.OTJLDView.back" |
| label="Back to the previous page" |
| style="push" |
| toolbarPath="additions" |
| tooltip="Back to the previous page"> |
| </action> |
| </viewContribution> |
| </extension> |
| <extension |
| point="org.eclipse.ui.perspectiveExtensions"> |
| <perspectiveExtension |
| targetID="org.eclipse.objectteams.otdt.ui.OTJavaPerspective"> |
| <viewShortcut |
| id="org.eclipse.objectteams.otdt.ui.help.views.OTJLDView"> |
| </viewShortcut> |
| <view |
| id="org.eclipse.objectteams.otdt.ui.help.views.OTJLDView" |
| minimized="false" |
| relationship="stack" |
| relative="org.eclipse.ui.views.ProblemView"> |
| </view> |
| </perspectiveExtension> |
| </extension> |
| <extension |
| point="org.eclipse.objectteams.otdt.ui.updateRulerActionExtenders"> |
| <extender |
| class="org.eclipse.objectteams.otdt.internal.ui.help.actions.UpdateRulerAction" |
| editorClass="org.eclipse.jdt.internal.ui.javaeditor.CompilationUnitEditor"> |
| </extender> |
| </extension> |
| <extension |
| point="org.eclipse.objectteams.otequinox.aspectBindings"> |
| <aspectBinding |
| icon="platform:/plugin/org.eclipse.objectteams.otdt.ui/icons/ot/calloutbinding_obj.gif"> |
| <basePlugin |
| icon="platform:/plugin/org.eclipse.pde.ui/icons/obj16/plugin_obj.png" |
| id="org.eclipse.jdt.ui"> |
| </basePlugin> |
| <team |
| activation="ALL_THREADS" |
| class="org.eclipse.objectteams.otdt.internal.ui.help.actions.HoverAdaptor" |
| icon="platform:/plugin/org.eclipse.objectteams.otdt.ui/icons/ot/team_obj.gif"> |
| </team> |
| </aspectBinding> |
| </extension> |
| |
| <!-- |
| <extension |
| point="org.eclipse.jdt.ui.javaEditorTextHovers"> |
| <hover |
| id="org.eclipse.objectteams.otdt.ui.help.IProblemDocumentation" |
| class="org.eclipse.objectteams.otdt.ui.help.IProblemDocumentation" |
| label="ObjectTeams Language Specification Hover"/> |
| </extension> |
| --> |
| |
| </plugin> |