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="Web Development Tools HTML UI"
   6    version="0.0.1"
   7    provider-name="WDTE Project"
   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             class="net.sourceforge.phpeclipse.html.ui.internal.editor.HTMLEditor"
  38             id="net.sourceforge.phpeclipse.html.ui.editor">
  39       </editor>
  40    </extension>
  41    <extension
  42          point="org.eclipse.core.filebuffers.documentSetup">
  43       <participant
  44             extensions="html, htm, xhtml"
  45             class="net.sourceforge.phpeclipse.html.ui.internal.editor.HTMLDocumentSetupParticipant">
  46       </participant>
  47    </extension>
  48    <extension
  49          point="org.eclipse.ui.editors.documentProviders">
  50       <provider
  51             extensions="html, htm, xhtml"
  52             class="net.sourceforge.phpeclipse.html.ui.internal.editor.HTMLDocumentProvider"
  53             id="net.sourceforge.phpeclipse.html.ui.documentProvider">
  54       </provider>
  55    </extension>
  56
  57
  58 </plugin>