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

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <?eclipse version="3.0"?>
   3 <plugin
   4    id="net.sourceforge.phpeclipse.html.ui"
   5    name="%pluginName"
   6    version="1.1.2"
   7    provider-name="%providerName"
   8    class="net.sourceforge.phpeclipse.html.ui.HTMLUI">
   9
  10    <runtime>
  11       <library name="htmlui.jar">
  12          <export name="*"/>
  13       </library>
  14    </runtime>
  15    <requires>
  16       <import plugin="net.sourceforge.phpeclipse.xml.ui"/>
  17       <import plugin="net.sourceforge.phpeclipse.ui"/>
  18       <import plugin="net.sourceforge.phpeclipse.xml.core"/>
  19       <import plugin="org.eclipse.jface.text"/>
  20       <import plugin="org.eclipse.ui.workbench.texteditor"/>
  21       <import plugin="org.eclipse.core.resources"/>
  22       <import plugin="org.eclipse.text"/>
  23       <import plugin="org.eclipse.ui.editors"/>
  24       <import plugin="org.eclipse.ui.ide"/>
  25       <import plugin="org.eclipse.ui"/>
  26       <import plugin="org.eclipse.core.filebuffers"/>
  27       <import plugin="org.eclipse.core.runtime"/>
  28    </requires>
  29
  30 <!--
  31    <extension
  32          point="org.eclipse.ui.editors">
  33       <editor
  34             name="HTML Editor"
  35             icon="icons/full/obj16/html.png"
  36             extensions="html, htm, xhtml"
  37             contributorClass="net.sourceforge.phpeclipse.html.ui.internal.editor.HTMLEditorActionContributor"
  38             class="net.sourceforge.phpeclipse.html.ui.internal.editor.HTMLEditor"
  39             id="net.sourceforge.phpeclipse.html.ui.editor">
  40       </editor>
  41    </extension>
  42    <extension
  43          point="org.eclipse.core.filebuffers.documentSetup">
  44       <participant
  45             extensions="html, htm, xhtml"
  46             class="net.sourceforge.phpeclipse.html.ui.internal.editor.HTMLDocumentSetupParticipant">
  47       </participant>
  48    </extension>
  49    <extension
  50          point="org.eclipse.ui.editors.documentProviders">
  51       <provider
  52             extensions="html, htm, xhtml"
  53             class="net.sourceforge.phpeclipse.html.ui.internal.editor.HTMLDocumentProvider"
  54             id="net.sourceforge.phpeclipse.html.ui.documentProvider">
  55       </provider>
  56    </extension>
  57 -->
  58
  59 </plugin>