# HG changeset patch
# User Dirk Olmes <dirk@xanthippe.ping.de>
# Date 1418621132 -3600
# Node ID 79c8c1f9fd7d8c14148a6b535a81cbe75867e2e3
# Parent  f7d908568cfcf8ee88ab5b92a61f200665f436ad
use the same ID for the editor as JDT does

diff -r f7d908568cfc -r 79c8c1f9fd7d plugin.xml
--- 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