diff options
| author | Dani Megert | 2004-01-20 12:03:38 +0000 |
|---|---|---|
| committer | Dani Megert | 2004-01-20 12:03:38 +0000 |
| commit | 20344aa31152a7c51e8ac228a2e67e25fcf8d590 (patch) | |
| tree | 986b6f60f4a78d1006e7d4389d3aae076ba2f48f /org.eclipse.search/plugin.xml | |
| parent | 7323f8db219a6b4e95b54e5f6e39b9edb11896fd (diff) | |
| download | eclipse.platform.text-20344aa31152a7c51e8ac228a2e67e25fcf8d590.tar.gz eclipse.platform.text-20344aa31152a7c51e8ac228a2e67e25fcf8d590.tar.xz eclipse.platform.text-20344aa31152a7c51e8ac228a2e67e25fcf8d590.zip | |
Adapted Search to new annotationTypes extension point
Diffstat (limited to 'org.eclipse.search/plugin.xml')
| -rw-r--r-- | org.eclipse.search/plugin.xml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/org.eclipse.search/plugin.xml b/org.eclipse.search/plugin.xml index 325ea62fc0f..03e16d906d8 100644 --- a/org.eclipse.search/plugin.xml +++ b/org.eclipse.search/plugin.xml @@ -46,6 +46,13 @@ <attribute name="potentialMatch"/> </extension> + <extension point="org.eclipse.ui.editors.annotationTypes"> + <type + name="org.eclipse.search.results" + markerType="org.eclipse.search.searchmarker"> + </type> + </extension> + <extension point="org.eclipse.ui.ide.markerImageProviders"> <imageprovider @@ -211,7 +218,6 @@ annotationType="org.eclipse.search.results" label="%SearchMarkerPreference.label" icon="icons/full/obj16/searchm_obj.gif" - markerType="org.eclipse.search.searchmarker" textPreferenceKey="searchResultIndication" textPreferenceValue="true" highlightPreferenceKey="searchResultHighlighting" |