Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAndrey Loskutov2016-07-26 14:03:57 +0000
committerAndrey Loskutov2016-07-26 16:58:29 +0000
commiteb58ce3a2c247f5bd28a7aabdea58c69a96f94e7 (patch)
treedd08dd9f83e2aed3422936fe140714822b757427 /org.eclipse.ui.editors/plugin.xml
parentbdcc531f75bf6cf6020b68c18cbda1af01abe7bd (diff)
downloadeclipse.platform.text-eb58ce3a2c247f5bd28a7aabdea58c69a96f94e7.tar.gz
eclipse.platform.text-eb58ce3a2c247f5bd28a7aabdea58c69a96f94e7.tar.xz
eclipse.platform.text-eb58ce3a2c247f5bd28a7aabdea58c69a96f94e7.zip
Bug 498497 - Use different color and layer for "Info" markers in overview ruler
Change-Id: I9cdb223286078146f4194a85b04b109cba674aea Signed-off-by: Andrey Loskutov <loskutov@gmx.de>
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 9d824937ff5..c1b5db34960 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