Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKai Maetzel2003-08-13 22:08:34 +0000
committerKai Maetzel2003-08-13 22:08:34 +0000
commit8ca58eea375d377068498f6ec6851f14fa7d0ee2 (patch)
tree88906df1baa0928e7b1b0786268818ecc164b0d5 /org.eclipse.ui.examples.javaeditor/plugin.xml
parenta97c4d6e893127000d7d123f58015b32b145acc8 (diff)
downloadeclipse.platform.text-8ca58eea375d377068498f6ec6851f14fa7d0ee2.tar.gz
eclipse.platform.text-8ca58eea375d377068498f6ec6851f14fa7d0ee2.tar.xz
eclipse.platform.text-8ca58eea375d377068498f6ec6851f14fa7d0ee2.zip
enabling file buffers
Diffstat (limited to 'org.eclipse.ui.examples.javaeditor/plugin.xml')
-rw-r--r--org.eclipse.ui.examples.javaeditor/plugin.xml83
1 files changed, 43 insertions, 40 deletions
diff --git a/org.eclipse.ui.examples.javaeditor/plugin.xml b/org.eclipse.ui.examples.javaeditor/plugin.xml
index 632acf288..3602bfd5e 100644
--- a/org.eclipse.ui.examples.javaeditor/plugin.xml
+++ b/org.eclipse.ui.examples.javaeditor/plugin.xml
@@ -1,40 +1,43 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!-- File written by PDE 1.0 -->
-<plugin
- id="org.eclipse.ui.examples.javaeditor"
- name="%pluginName"
- version="3.0.0"
- provider-name="%providerName">
-<requires>
- <import plugin="org.eclipse.ui"/>
- <import plugin="org.eclipse.core.resources"/>
-</requires>
-
-<runtime>
- <library name="javaeditorexample.jar">
- <export name="*"/>
- </library>
-</runtime>
-
-<extension
- point="org.eclipse.ui.editors">
- <editor
- name="%javaEditorName"
- icon="icons/obj16/java.gif"
- extensions="jav"
- contributorClass="org.eclipse.ui.examples.javaeditor.JavaActionContributor"
- class="org.eclipse.ui.examples.javaeditor.JavaEditor"
- id="org.eclipse.ui.JavaEditor">
- </editor>
-</extension>
-
-<extension
- point="org.eclipse.ui.documentProviders">
- <provider
- extensions="%javaFileExtension"
- class="org.eclipse.ui.examples.javaeditor.JavaDocumentProvider"
- id="org.eclipse.ui.examples.javaeditor.JavaDocumentProvider">
- </provider>
-</extension>
-
-</plugin>
+<?xml version="1.0" encoding="UTF-8"?>
+<plugin
+ id="org.eclipse.ui.examples.javaeditor"
+ name="%pluginName"
+ version="3.0.0"
+ provider-name="%providerName"
+ class="org.eclipse.ui.examples.javaeditor.JavaEditorExamplePlugin">
+
+ <runtime>
+ <library name="javaeditorexample.jar">
+ <export name="*"/>
+ </library>
+ </runtime>
+ <requires>
+ <import plugin="org.eclipse.ui"/>
+ <import plugin="org.eclipse.core.resources"/>
+ <import plugin="org.eclipse.core.filebuffers"/>
+ </requires>
+
+
+ <extension
+ point="org.eclipse.ui.editors">
+ <editor
+ name="%javaEditorName"
+ icon="icons/obj16/java.gif"
+ extensions="%javaFileExtensions"
+ contributorClass="org.eclipse.ui.examples.javaeditor.JavaActionContributor"
+ class="org.eclipse.ui.examples.javaeditor.JavaEditor"
+ id="org.eclipse.ui.JavaEditor">
+ </editor>
+ </extension>
+
+ <extension
+ id="ExampleJavaDocumentSetupParticipant"
+ name="%documentSetupParticipantName"
+ point="org.eclipse.core.filebuffers.documentSetup">
+ <participant
+ extensions="%javaFileExtensions"
+ class="org.eclipse.ui.examples.javaeditor.JavaDocumentSetupParticipant">
+ </participant>
+ </extension>
+
+</plugin>

Back to the top