commit 3b45f67f439b7d57b654b868347a110126afb9fd
author Dani Megert <dmegert> Tue Nov 18 16:30:29 2014 +0100
committer Dani Megert <dmegert> Tue Nov 18 16:30:29 2014 +0100
tree 9a16bc573ecfb1560cd83d379ece4a16abd704c2
parent 4100ec57ed76bbbfccf4b3c1a4d240ef444ea584

Make sure JDT marker updater runs after the basic marker updater

org.eclipse.jdt.debug.ui/plugin.xml

diff --git a/org.eclipse.jdt.debug.ui/plugin.xml b/org.eclipse.jdt.debug.ui/plugin.xml
index b6c176e..8e0b12a 100644
--- a/org.eclipse.jdt.debug.ui/plugin.xml
+++ b/org.eclipse.jdt.debug.ui/plugin.xml
@@ -3565,6 +3565,7 @@
           class="org.eclipse.jdt.internal.debug.ui.BreakpointMarkerUpdater"
           id="org.eclipse.jdt.debug.ui.bpMarkerUpdater"
           markerType="org.eclipse.jdt.debug.javaBreakpointMarker">
+          <required-updater id="org.eclipse.ui.texteditor.BasicMarkerUpdater"/>
     </updater>
  </extension>
  <extension