diff options
| author | Dani Megert | 2010-11-08 11:43:20 +0000 |
|---|---|---|
| committer | Dani Megert | 2010-11-08 11:43:20 +0000 |
| commit | 0314fccb79770ec38fe20a6a215c1139ffe3c649 (patch) | |
| tree | cec6c9a1a8f7f0415d4f4a2a38f7ccfda05f2045 /org.eclipse.search/plugin.xml | |
| parent | c593e9a55058e255c330579114fcdc416643a004 (diff) | |
| download | eclipse.platform.text-0314fccb79770ec38fe20a6a215c1139ffe3c649.tar.gz eclipse.platform.text-0314fccb79770ec38fe20a6a215c1139ffe3c649.tar.xz eclipse.platform.text-0314fccb79770ec38fe20a6a215c1139ffe3c649.zip | |
Fixed bug 329533: Keywords is not highlighted in the "search view"
Diffstat (limited to 'org.eclipse.search/plugin.xml')
| -rw-r--r-- | org.eclipse.search/plugin.xml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/org.eclipse.search/plugin.xml b/org.eclipse.search/plugin.xml index 204474eaf21..9d113fe99de 100644 --- a/org.eclipse.search/plugin.xml +++ b/org.eclipse.search/plugin.xml @@ -394,4 +394,16 @@ point="org.eclipse.core.runtime.preferences"> <initializer class="org.eclipse.search.internal.ui.SearchPreferenceInitializer"/> </extension> + <extension + point="org.eclipse.ui.themes"> + <colorDefinition + label="%match_highlight.label" + categoryId="org.eclipse.ui.workbenchMisc" + value="206,204,247" + id="org.eclipse.search.ui.match.highlight"> + <description> + %match_highlight.description + </description> + </colorDefinition> + </extension> </plugin> |