diff options
author | Noopur Gupta | 2015-10-07 13:57:01 +0000 |
---|---|---|
committer | Noopur Gupta | 2015-10-07 13:57:01 +0000 |
commit | f3aa2b434363976f354dc31930255a470a95fa1c (patch) | |
tree | e3852f51a23f320295765e254e73eff52354187f /org.eclipse.ui.editors/plugin.xml | |
parent | 76cd75d299bbbe5067691b291a5ca9aa99ae541b (diff) | |
download | eclipse.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/plugin.xml')
-rw-r--r-- | org.eclipse.ui.editors/plugin.xml | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/org.eclipse.ui.editors/plugin.xml b/org.eclipse.ui.editors/plugin.xml index fbcd53559af..9d824937ff5 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> |