Aggiunta di una pagina di risultati della ricerca

È possibile aggiungere una pagina personalizzata di risultati della ricerca mediante il punto di estensione org.eclipse.search.searchResultViewPages.

Quando si aggiunge una pagina di risultati della ricerca, viene specificata la classe di risultati della ricerca per cui deve essere utilizzata la pagina e il nome della classe che implementa la pagina. Nell'esempio che segue viene descritta l'aggiunta della pagina di ricerca Java mediante il plugin JDT:

<extension
	id="JavaSearchResultPage"
	point="org.eclipse.search.searchResultViewPages">
	<viewPage
		id="org.eclipse.jdt.ui.JavaSearchResultPage"
		searchResultClass="org.eclipse.jdt.internal.ui.search.JavaSearchResult"
		class="org.eclipse.jdt.internal.ui.search.JavaSearchResultPage">
	</viewPage>
</extension>

La classe deve implementare l'interfaccia ISearchResultPage e spesso estende l'interfaccia AbstractTextSearchViewPage.