archive/net.sourceforge.phpeclipse.js.ui/plugin.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <?eclipse version="3.0"?>
   3 <plugin
   4    id="net.sourceforge.phpeclipse.js.ui"
   5    name="%pluginName"
   6    version="0.0.9"
   7    provider-name="%providerName"
   8    class="net.sourceforge.phpeclipse.js.ui.JSUIPlugin">
   9
  10    <runtime>
  11       <library name="net.sourceforge.phpeclipse.js.ui.jar">
  12          <export name="*"/>
  13       </library>
  14    </runtime>
  15    <requires>
  16       <import plugin="org.eclipse.core.resources"/>
  17       <import plugin="org.eclipse.core.runtime"/>
  18       <import plugin="org.eclipse.jface.text"/>
  19       <import plugin="org.eclipse.ui"/>
  20       <import plugin="org.eclipse.ui.ide"/>
  21       <import plugin="org.eclipse.ui.editors"/>
  22       <import plugin="org.eclipse.ui.views"/>
  23       <import plugin="org.eclipse.ui.workbench.texteditor"/>
  24       <import plugin="net.sourceforge.phpeclipse.ui"/>
  25       <import plugin="net.sourceforge.phpeclipse.js.core" version="0.0.9" match="greaterOrEqual" export="true"/>
  26    </requires>
  27
  28
  29    <extension
  30          point="org.eclipse.ui.views">
  31        <view
  32             name="%classesViewName"
  33             icon="icons/js.gif"
  34             category="net.sourceforge.phpeclipse.views.category"
  35             class="net.sourceforge.phpeclipse.js.ui.views.JSClassesView"
  36             id="net.sourceforge.phpeclipse.js.ui.views.JSClassesView">
  37       </view>
  38    </extension>
  39    <extension
  40          point="org.eclipse.ui.preferencePages">
  41       <page
  42             name="%editorPreferencePageName"
  43             category="net.sourceforge.phpeclipse.ui.preferencePage"
  44             class="net.sourceforge.phpeclipse.js.ui.preferences.JavaScriptPreferencePage"
  45             id="net.sourceforge.phpeclipse.js.ui.preferences.JavaScriptPreferencePage">
  46       </page>
  47    </extension>
  48    <extension
  49          point="org.eclipse.ui.editors">
  50       <editor
  51             name="%editorName"
  52             icon="icons/js.gif"
  53             extensions="js"
  54             contributorClass="org.eclipse.ui.texteditor.BasicTextEditorActionContributor"
  55             class="net.sourceforge.phpeclipse.js.ui.editors.JSEditor"
  56             id="net.sourceforge.phpeclipse.js.ui.editors.JSEditor">
  57       </editor>
  58    </extension>
  59    <extension
  60          point="org.eclipse.ui.perspectiveExtensions">
  61       <perspectiveExtension
  62             targetID="org.eclipse.ui.resourcePerspective">
  63          <view
  64                ratio="0.5"
  65                relative="org.eclipse.ui.views.TaskList"
  66                relationship="right"
  67                id="net.sourceforge.phpeclipse.js.ui.views.JSClassesView">
  68          </view>
  69       </perspectiveExtension>
  70    </extension>
  71
  72 </plugin>