diff options
| author | Dani Megert | 2007-11-27 14:49:13 +0000 |
|---|---|---|
| committer | Dani Megert | 2007-11-27 14:49:13 +0000 |
| commit | 7290c108ccf103bcd4f7d6e9d60dd1477221f949 (patch) | |
| tree | c1cba65b7284c51900ad19aee9f5f9da0effc009 /org.eclipse.ui.editors/plugin.xml | |
| parent | 5dd18a07a9857053a9b7dc76a418411bb74ee6f8 (diff) | |
| download | eclipse.platform.text-7290c108ccf103bcd4f7d6e9d60dd1477221f949.tar.gz eclipse.platform.text-7290c108ccf103bcd4f7d6e9d60dd1477221f949.tar.xz eclipse.platform.text-7290c108ccf103bcd4f7d6e9d60dd1477221f949.zip | |
Added support for native problem underline style.
Diffstat (limited to 'org.eclipse.ui.editors/plugin.xml')
| -rw-r--r-- | org.eclipse.ui.editors/plugin.xml | 32 |
1 files changed, 18 insertions, 14 deletions
diff --git a/org.eclipse.ui.editors/plugin.xml b/org.eclipse.ui.editors/plugin.xml index a4f76248602..edf8f924435 100644 --- a/org.eclipse.ui.editors/plugin.xml +++ b/org.eclipse.ui.editors/plugin.xml @@ -489,11 +489,9 @@ <specification annotationType="org.eclipse.ui.workbench.texteditor.error" textPreferenceKey="errorIndication" + textPreferenceValue="true" presentationLayer="6" - highlightPreferenceValue="false" showInNextPrevDropdownToolbarAction="true" - textPreferenceValue="true" - isGoToPreviousNavigationTargetKey="isErrorGoToPreviousNavigationTarget" label="%errors.label" colorPreferenceKey="errorIndicationColor" showInNextPrevDropdownToolbarActionKey="showErrorInNextPrevDropdownToolbarAction" @@ -501,23 +499,25 @@ quickFixIcon="$nl$/icons/full/obj16/quick_fix_error_obj.gif" isGoToNextNavigationTargetKey="isErrorGoToNextNavigationTarget" isGoToNextNavigationTarget="true" - overviewRulerPreferenceKey="errorIndicationInOverviewRuler" - verticalRulerPreferenceValue="true" - highlightPreferenceKey="errorIndicationHighlighting" + isGoToPreviousNavigationTargetKey="isErrorGoToPreviousNavigationTarget" isGoToPreviousNavigationTarget="true" + highlightPreferenceKey="errorIndicationHighlighting" + highlightPreferenceValue="false" + textStylePreferenceKey="errorTextStyle" + textStylePreferenceValue="PROBLEM_UNDERLINE" verticalRulerPreferenceKey="errorIndicationInVerticalRuler" + verticalRulerPreferenceValue="true" + overviewRulerPreferenceKey="errorIndicationInOverviewRuler" + overviewRulerPreferenceValue="true" contributesToHeader="true" - colorPreferenceValue="255,0,128" - overviewRulerPreferenceValue="true"> + colorPreferenceValue="255,0,128"> </specification> <specification annotationType="org.eclipse.ui.workbench.texteditor.warning" textPreferenceKey="warningIndication" presentationLayer="5" - highlightPreferenceValue="false" showInNextPrevDropdownToolbarAction="true" textPreferenceValue="true" - isGoToPreviousNavigationTargetKey="isWarningGoToPreviousNavigationTarget" label="%warnings.label" colorPreferenceKey="warningIndicationColor" showInNextPrevDropdownToolbarActionKey="showWarningInNextPrevDropdownToolbarAction" @@ -525,14 +525,18 @@ quickFixIcon="$nl$/icons/full/obj16/quick_fix_warning_obj.gif" isGoToNextNavigationTargetKey="isWarningGoToNextNavigationTarget" isGoToNextNavigationTarget="true" + isGoToPreviousNavigationTargetKey="isWarningGoToPreviousNavigationTarget" + isGoToPreviousNavigationTarget="true" + textStylePreferenceKey="warningTextStyle" + textStylePreferenceValue="PROBLEM_UNDERLINE" overviewRulerPreferenceKey="warningIndicationInOverviewRuler" + overviewRulerPreferenceValue="true" + verticalRulerPreferenceKey="warningIndicationInVerticalRuler" verticalRulerPreferenceValue="true" highlightPreferenceKey="warningIndicationHighlighting" - isGoToPreviousNavigationTarget="true" - verticalRulerPreferenceKey="warningIndicationInVerticalRuler" + highlightPreferenceValue="false" contributesToHeader="true" - colorPreferenceValue="244,200,45" - overviewRulerPreferenceValue="true"> + colorPreferenceValue="244,200,45"> </specification> <specification annotationType="org.eclipse.ui.workbench.texteditor.info" |