deleted "Job processSavedState" on startup
[phpeclipse.git] / net.sourceforge.phpeclipse.debug.core / plugin.xml
index a955c33..d43d005 100644 (file)
@@ -1,23 +1,46 @@
 <?xml version="1.0" encoding="UTF-8"?>
+<?eclipse version="3.0"?>
 <plugin
    id="net.sourceforge.phpeclipse.debug.core"
    name="%Plugin.name"
-   version="1.0.4"
-   provider-name="eclipseproject.de"
+   version="1.1.0"
+   provider-name="phpeclipse.de"
    class="net.sourceforge.phpdt.internal.debug.core.PHPDebugCorePlugin">
 
    <runtime>
       <library name="core.jar">
          <export name="*"/>
-      </library>       
+      </library>
    </runtime>
    <requires>
-      <import plugin="org.eclipse.ui"/>
+         <import plugin="org.eclipse.ui"/>   
       <import plugin="org.eclipse.core.runtime"/>
       <import plugin="org.eclipse.core.resources"/>
       <import plugin="org.eclipse.debug.core"/>
-      <import plugin="org.eclipse.debug.ui"/>
-      <import plugin="org.junit"/>
       <import plugin="net.sourceforge.phpeclipse"/>
-   </requires>   
+   </requires>
+
+<!-- Extensions -->
+   <extension id="phpBreakpointMarker" point="org.eclipse.core.resources.markers">
+      <super type="org.eclipse.debug.core.breakpointMarker"/>
+   </extension>
+
+   <extension id="commonPHPLineBreakpointMarker" point="org.eclipse.core.resources.markers">
+      <super type="net.sourceforge.phpeclipse.debug.core.phpBreakpointMarker"/>
+      <super type="org.eclipse.debug.core.lineBreakpointMarker"/>
+      <persistent value="true"/>
+   </extension>
+
+   <extension id="phpLineBreakpointMarker" point="org.eclipse.core.resources.markers">
+      <super type="net.sourceforge.phpeclipse.debug.core.commonPHPLineBreakpointMarker"/>
+      <persistent value="true"/>
+   </extension>
+
+   <extension point="org.eclipse.debug.core.breakpoints">
+      <breakpoint
+            markerType="net.sourceforge.phpeclipse.debug.core.phpLineBreakpointMarker"
+            class="net.sourceforge.phpdt.internal.debug.core.breakpoints.PHPLineBreakpoint"
+            id="phpLineBreakpoint">
+      </breakpoint>
+   </extension>
 </plugin>