| <?xml version="1.0" encoding="UTF-8"?> | |
| <!-- ======================================================================= --> | |
| <!-- Search Plugin --> | |
| <!-- ======================================================================= --> | |
| <plugin | |
| name="%pluginName" | |
| id= "org.eclipse.search" | |
| version= "1.0" | |
| provider-name= "Object Technology International, Inc." | |
| class= "org.eclipse.search.internal.ui.SearchPlugin"> | |
| <requires> | |
| <import plugin="org.apache.xerces"/> | |
| <import plugin="org.eclipse.core.resources"/> | |
| <import plugin="org.eclipse.ui"/> | |
| </requires> | |
| <runtime> | |
| <library name="search.jar" > | |
| <export name = "*"/> | |
| </library> | |
| </runtime> | |
| <!-- Search extension point definitions --> | |
| <extension-point name="%searchPages" id="searchPages"/> | |
| <extension-point name="%searchResultSorters" id="searchResultSorters"/> | |
| <!-- Extensions --> | |
| <extension id="searchmarker" point="org.eclipse.core.resources.markers" name="%searchMarker"> | |
| <super type="org.eclipse.core.resources.textmarker"/> | |
| <attribute name="line"/> | |
| </extension> | |
| <extension | |
| point="org.eclipse.ui.markerImageProviders"> | |
| <imageprovider | |
| id="org.eclipse.ui.searchMarkerProvider" | |
| markertype="org.eclipse.search.searchmarker" | |
| icon="icons/full/obj16/searchm_obj.gif"> | |
| </imageprovider> | |
| </extension> | |
| <extension point="org.eclipse.ui.actionSets"> | |
| <actionSet | |
| id="org.eclipse.search.searchActionSet" | |
| label="%search" | |
| visible="true"> | |
| <action id="org.eclipse.search.ui.OpenSearchDialogAction" | |
| menubarPath="edit/find" | |
| toolbarPath="Normal/Search" | |
| label="%OpenSearchDialogAction.label" | |
| tooltip="%OpenSearchDialogAction.tooltip" | |
| icon="icons/full/ctool16/search.gif" | |
| class="org.eclipse.search.internal.ui.OpenSearchDialogAction"/> | |
| </actionSet> | |
| </extension> | |
| <extension point="org.eclipse.ui.views"> | |
| <view | |
| id="org.eclipse.search.SearchResultView" | |
| name="%searchResultViewName" | |
| category="org.eclipse.ui" | |
| class="org.eclipse.search.internal.ui.SearchResultView" | |
| icon="icons/full/cview16/searchres.gif"> | |
| </view> | |
| </extension> | |
| <extension point="org.eclipse.search.searchPages"> | |
| <page | |
| id="org.eclipse.search.internal.ui.text.TextSearchPage" | |
| label="%textSearch" | |
| icon="icons/full/obj16/tsearch_obj.gif" | |
| sizeHint="250,160" | |
| tabPosition="1" | |
| extensions="*:1" | |
| showScopeSection="true" | |
| class="org.eclipse.search.internal.ui.text.TextSearchPage"> | |
| </page> | |
| </extension> | |
| <extension point="org.eclipse.search.searchResultSorters"> | |
| <sorter | |
| id="org.eclipse.search.internal.ui.ResourcenameSorter" | |
| pageId="org.eclipse.search.internal.ui.text.TextSearchPage" | |
| label="%ResourcenameSorter.label" | |
| tooltip="%ResourcenameSorter.tooltip" | |
| icon="icons/full/clcl16/search_sortmatch.gif" | |
| class="org.eclipse.search.internal.ui.text.ResourcenameSorter"> | |
| </sorter> | |
| <sorter | |
| id="org.eclipse.search.internal.ui.ResourcePathSorter" | |
| pageId="org.eclipse.search.internal.ui.text.TextSearchPage" | |
| label="%ResourcePathSorter.label" | |
| tooltip="%ResourcePathSorter.tooltip" | |
| icon="icons/full/clcl16/search_sortmatch.gif" | |
| class="org.eclipse.search.internal.ui.text.ResourcePathSorter"> | |
| </sorter> | |
| </extension> | |
| </plugin> |