1 <?xml version="1.0" encoding="UTF-8"?>
2 <?eclipse version="3.0"?>
4 id="net.sourceforge.phpeclipse.html.ui"
5 name="Web Development Tools HTML UI"
7 provider-name="WDTE Project"
8 class="net.sourceforge.phpeclipse.html.ui.HTMLUI">
11 <library name="htmlui.jar">
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"/>
32 point="org.eclipse.ui.editors">
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">
42 point="org.eclipse.core.filebuffers.documentSetup">
44 extensions="html, htm, xhtml"
45 class="net.sourceforge.phpeclipse.html.ui.internal.editor.HTMLDocumentSetupParticipant">
49 point="org.eclipse.ui.editors.documentProviders">
51 extensions="html, htm, xhtml"
52 class="net.sourceforge.phpeclipse.html.ui.internal.editor.HTMLDocumentProvider"
53 id="net.sourceforge.phpeclipse.html.ui.documentProvider">