Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNoopur Gupta2015-10-07 13:57:01 +0000
committerNoopur Gupta2015-10-07 13:57:01 +0000
commitf3aa2b434363976f354dc31930255a470a95fa1c (patch)
treee3852f51a23f320295765e254e73eff52354187f /org.eclipse.ui.editors
parent76cd75d299bbbe5067691b291a5ca9aa99ae541b (diff)
downloadeclipse.platform.text-f3aa2b434363976f354dc31930255a470a95fa1c.tar.gz
eclipse.platform.text-f3aa2b434363976f354dc31930255a470a95fa1c.tar.xz
eclipse.platform.text-f3aa2b434363976f354dc31930255a470a95fa1c.zip
Bug 477523: Provide new severity level "information" in the UII20151014-1100I20151013-0800
Change-Id: I6f0dd88f55a3db31745439970f0a65c1d53f1bbc Signed-off-by: Noopur Gupta <noopur_gupta@in.ibm.com>
Diffstat (limited to 'org.eclipse.ui.editors')
-rw-r--r--org.eclipse.ui.editors/icons/full/obj16/quick_fix_info_obj.pngbin0 -> 668 bytes
-rw-r--r--org.eclipse.ui.editors/plugin.xml11
2 files changed, 6 insertions, 5 deletions
diff --git a/org.eclipse.ui.editors/icons/full/obj16/quick_fix_info_obj.png b/org.eclipse.ui.editors/icons/full/obj16/quick_fix_info_obj.png
new file mode 100644
index 000000000..11ac14b93
--- /dev/null
+++ b/org.eclipse.ui.editors/icons/full/obj16/quick_fix_info_obj.png
Binary files differ
diff --git a/org.eclipse.ui.editors/plugin.xml b/org.eclipse.ui.editors/plugin.xml
index fbcd53559..9d824937f 100644
--- a/org.eclipse.ui.editors/plugin.xml
+++ b/org.eclipse.ui.editors/plugin.xml
@@ -1,7 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.0"?>
<!-- ====================================================================== -->
-<!-- Copyright (c) 2002, 2014 IBM Corporation and others. -->
+<!-- Copyright (c) 2002, 2015 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 -->
@@ -600,22 +600,23 @@
presentationLayer="4"
highlightPreferenceValue="false"
showInNextPrevDropdownToolbarAction="true"
- textPreferenceValue="false"
+ textPreferenceValue="true"
isGoToPreviousNavigationTargetKey="isInfoGoToPreviousNavigationTarget"
label="%infos.label"
colorPreferenceKey="infoIndicationColor"
showInNextPrevDropdownToolbarActionKey="showInfoInNextPrevDropdownToolbarAction"
symbolicIcon="info"
isGoToNextNavigationTargetKey="isInfoGoToNextNavigationTarget"
- isGoToNextNavigationTarget="false"
+ isGoToNextNavigationTarget="true"
overviewRulerPreferenceKey="infoIndicationInOverviewRuler"
verticalRulerPreferenceValue="true"
highlightPreferenceKey="infoIndicationHighlighting"
- isGoToPreviousNavigationTarget="false"
+ isGoToPreviousNavigationTarget="true"
verticalRulerPreferenceKey="infoIndicationInVerticalRuler"
contributesToHeader="false"
- colorPreferenceValue="244,200,45"
+ colorPreferenceValue="0,128,255"
overviewRulerPreferenceValue="true"
+ quickFixIcon="$nl$/icons/full/obj16/quick_fix_info_obj.png"
textStylePreferenceKey="infoTextStyle"
textStylePreferenceValue="SQUIGGLES">
</specification>

Back to the top