plugins/org.eclipse.objectteams.otdt.ui.help/plugin.xml

<?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.help.toc">
     <toc file="guide/toc.xml" primary="true"/>
   </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.gif"
               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>