Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authornick2001-08-28 15:50:40 +0000
committernick2001-08-28 15:50:40 +0000
commitc328a6438da67f7dfad67582b72036e9aa3cde0f (patch)
tree6d1eded8543279fe45804ea23769bb60c1f5dd08 /org.eclipse.ui.examples.javaeditor/plugin.xml
parenta353cc58ae2043547c965d605224661001b34287 (diff)
downloadeclipse.platform.text-c328a6438da67f7dfad67582b72036e9aa3cde0f.tar.gz
eclipse.platform.text-c328a6438da67f7dfad67582b72036e9aa3cde0f.tar.xz
eclipse.platform.text-c328a6438da67f7dfad67582b72036e9aa3cde0f.zip
kum: build submission 133
Diffstat (limited to 'org.eclipse.ui.examples.javaeditor/plugin.xml')
-rw-r--r--org.eclipse.ui.examples.javaeditor/plugin.xml40
1 files changed, 40 insertions, 0 deletions
diff --git a/org.eclipse.ui.examples.javaeditor/plugin.xml b/org.eclipse.ui.examples.javaeditor/plugin.xml
new file mode 100644
index 000000000..a1bcd60ce
--- /dev/null
+++ b/org.eclipse.ui.examples.javaeditor/plugin.xml
@@ -0,0 +1,40 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!-- File written by PDE 1.0 -->
+<plugin
+ id="org.eclipse.ui.examples.javaeditor"
+ name="%pluginName"
+ version="1.0"
+ provider-name="Object Technology International, Inc.">
+<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/basic/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>

Back to the top