diff options
Diffstat (limited to 'org.eclipse.debug.ui/plugin.xml')
-rw-r--r-- | org.eclipse.debug.ui/plugin.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.debug.ui/plugin.xml b/org.eclipse.debug.ui/plugin.xml index 980f9bca9..94107c87b 100644 --- a/org.eclipse.debug.ui/plugin.xml +++ b/org.eclipse.debug.ui/plugin.xml @@ -2299,7 +2299,7 @@ M4 = Platform-specific fourth key annotationType="org.eclipse.debug.core.breakpoint" colorPreferenceKey="breakpointIndicationColor" overviewRulerPreferenceValue="true" - presentationLayer="3" + presentationLayer="7" label="%BreakpointMarkerPreference.label" textPreferenceValue="false" textPreferenceKey="breakpointIndication" |