diff options
-rw-r--r-- | org.eclipse.debug.ui/plugin.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.debug.ui/plugin.xml b/org.eclipse.debug.ui/plugin.xml index 6f1373140..9050b720a 100644 --- a/org.eclipse.debug.ui/plugin.xml +++ b/org.eclipse.debug.ui/plugin.xml @@ -1,7 +1,7 @@ <?xml version="1.0" encoding="UTF-8"?> <?eclipse version="3.0"?> <!-- - Copyright (c) 2005, 2015 IBM Corporation and others. + Copyright (c) 2005, 2016 IBM Corporation and others. All rights reserved. This program and the accompanying materials are made available under the terms of the Eclipse Public License v1.0 which accompanies this distribution, and is available at @@ -2233,7 +2233,7 @@ M4 = Platform-specific fourth key colorPreferenceValue="0,0,255" annotationType="org.eclipse.debug.core.breakpoint" colorPreferenceKey="breakpointIndicationColor" - overviewRulerPreferenceValue="false" + overviewRulerPreferenceValue="true" presentationLayer="3" label="%BreakpointMarkerPreference.label" textPreferenceValue="false" |