diff options
| author | Dani Megert | 2007-11-27 15:07:25 +0000 |
|---|---|---|
| committer | Dani Megert | 2007-11-27 15:07:25 +0000 |
| commit | 928c67479f8a0ecac656e278767a87fc528f3859 (patch) | |
| tree | 1ab6c4f0c65b973a8a6e653930389595f7a9a870 /org.eclipse.ui.editors/plugin.xml | |
| parent | 7290c108ccf103bcd4f7d6e9d60dd1477221f949 (diff) | |
| download | eclipse.platform.text-928c67479f8a0ecac656e278767a87fc528f3859.tar.gz eclipse.platform.text-928c67479f8a0ecac656e278767a87fc528f3859.tar.xz eclipse.platform.text-928c67479f8a0ecac656e278767a87fc528f3859.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 | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/org.eclipse.ui.editors/plugin.xml b/org.eclipse.ui.editors/plugin.xml index edf8f924435..70150eedc7e 100644 --- a/org.eclipse.ui.editors/plugin.xml +++ b/org.eclipse.ui.editors/plugin.xml @@ -715,7 +715,9 @@ showInNextPrevDropdownToolbarActionKey="showSpellingInNextPrevDropdownToolbarAction" showInNextPrevDropdownToolbarAction="true" highlightPreferenceKey="spellingIndicationHighlighting" - highlightPreferenceValue="false"> + highlightPreferenceValue="false" + textStylePreferenceKey="spellingTextStyle" + textStylePreferenceValue="PROBLEM_UNDERLINE"> </specification> <!-- revision annotations --> |