diff plugin.xml @ 2:79c8c1f9fd7d

use the same ID for the editor as JDT does
author Dirk Olmes <dirk@xanthippe.ping.de>
date Mon, 15 Dec 2014 06:25:32 +0100
parents ca07a15b6cc8
children d42b86029389
line wrap: on
line diff
--- a/plugin.xml	Sat Dec 13 13:54:38 2014 +0100
+++ b/plugin.xml	Mon Dec 15 06:25:32 2014 +0100
@@ -3,12 +3,17 @@
 <plugin>
    <extension
          point="org.eclipse.ui.editors">
+      <!-- 
+          This editor is a drop in for the JDT's java editor. To make sure it works seamlessly with the rest of
+          JDT it needs to be registered using the same ID as the JDT java editor.
+      --> 
       <editor
             class="de.codedo.java.editor.CodedoJavaEditor"
             default="false"
             filenames="*.java"
-            id="de.codedo.java.editor.javaEditor"
-            name="Java editor (custom icon)">
+            icon="icons/icon.png"
+            id="org.eclipse.jdt.ui.CompilationUnitEditor"
+            name="Java editor with custom icon">
       </editor>
    </extension>
    <extension