Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPaul Pazderski2019-08-22 21:25:15 +0000
committerPaul Pazderski2019-08-22 21:25:15 +0000
commit8e60c0d6d6942ba4a9a7f88acfcc4326ade0d487 (patch)
tree720025d6deef1a52ddabcc24b7101612279bc671
parent005b52cdfeffd7d41b4ef262664ff07d4313f9ff (diff)
downloadeclipse.platform.debug-I20190904-0605.tar.gz
eclipse.platform.debug-I20190904-0605.tar.xz
eclipse.platform.debug-I20190904-0605.zip
annotations Also related is Bug 80089 where an equal solution was proposed years ago. Change-Id: I9c1ade437f8d85fdb5e24f56a57a391fa18a7dd6 Signed-off-by: Paul Pazderski <paul-eclipse@ppazderski.de>
-rw-r--r--org.eclipse.debug.ui/plugin.xml2
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"

Back to the top