diff options
author | Andrey Loskutov | 2016-07-26 14:03:57 +0000 |
---|---|---|
committer | Andrey Loskutov | 2016-07-26 16:58:29 +0000 |
commit | eb58ce3a2c247f5bd28a7aabdea58c69a96f94e7 (patch) | |
tree | dd08dd9f83e2aed3422936fe140714822b757427 /org.eclipse.ui.editors/plugin.xml | |
parent | bdcc531f75bf6cf6020b68c18cbda1af01abe7bd (diff) | |
download | eclipse.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.xml | 4 |
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" |