diff options
| author | Dirk Baeumer | 2003-12-09 18:40:10 +0000 |
|---|---|---|
| committer | Dirk Baeumer | 2003-12-09 18:40:10 +0000 |
| commit | 1de972d192bce10e3f6abef7781f1e3d3471b1bd (patch) | |
| tree | df1913bb9328ad78ffdd7d35c70aa5525e879101 /org.eclipse.search/plugin.xml | |
| parent | acbc0cf96f03c5e398170db644c619339166aad6 (diff) | |
| download | eclipse.platform.text-1de972d192bce10e3f6abef7781f1e3d3471b1bd.tar.gz eclipse.platform.text-1de972d192bce10e3f6abef7781f1e3d3471b1bd.tar.xz eclipse.platform.text-1de972d192bce10e3f6abef7781f1e3d3471b1bd.zip | |
annotation rework
Diffstat (limited to 'org.eclipse.search/plugin.xml')
| -rw-r--r-- | org.eclipse.search/plugin.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/org.eclipse.search/plugin.xml b/org.eclipse.search/plugin.xml index 9095a2086d2..01dfc641454 100644 --- a/org.eclipse.search/plugin.xml +++ b/org.eclipse.search/plugin.xml @@ -187,6 +187,7 @@ <specification annotationType="org.eclipse.search.results" label="%SearchMarkerPreference.label" + icon="icons/full/obj16/searchm_obj.gif" markerType="org.eclipse.search.searchmarker" textPreferenceKey="searchResultIndication" textPreferenceValue="true" |