Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'org.eclipse.ui.editors/plugin.xml')
-rw-r--r--org.eclipse.ui.editors/plugin.xml4
1 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.ui.editors/plugin.xml b/org.eclipse.ui.editors/plugin.xml
index 9d824937f..c1b5db349 100644
--- a/org.eclipse.ui.editors/plugin.xml
+++ b/org.eclipse.ui.editors/plugin.xml
@@ -597,7 +597,7 @@
<specification
annotationType="org.eclipse.ui.workbench.texteditor.info"
textPreferenceKey="infoIndication"
- presentationLayer="4"
+ presentationLayer="1"
highlightPreferenceValue="false"
showInNextPrevDropdownToolbarAction="true"
textPreferenceValue="true"
@@ -614,7 +614,7 @@
isGoToPreviousNavigationTarget="true"
verticalRulerPreferenceKey="infoIndicationInVerticalRuler"
contributesToHeader="false"
- colorPreferenceValue="0,128,255"
+ colorPreferenceValue="130,160,190"
overviewRulerPreferenceValue="true"
quickFixIcon="$nl$/icons/full/obj16/quick_fix_info_obj.png"
textStylePreferenceKey="infoTextStyle"

Back to the top