Search in Eclipse Pages

de.jave.eclipse.searcheclipse.searchInEclipsePages

This extension point allows a plug-in to register search pages for specialized searches within Eclipse. Don't mix up this extension point with the one in org.eclipse.search.

<!ELEMENT extension (page*)>

<!ATTLIST extension

point CDATA #REQUIRED

id CDATA #IMPLIED

name CDATA #IMPLIED>

point - a fully qualified identifier of the target extension point
id - an optional identifier of the extension instance
name - an optional name of the extension instance

<!ELEMENT page EMPTY>

<!ATTLIST page

id CDATA #REQUIRED

label CDATA #REQUIRED

class CDATA #REQUIRED

icon CDATA #IMPLIED

tabPosition CDATA #IMPLIED>

id - a unique name that will be used to identify this search page
label - a translatable label that will be used in the search page tab
class - The name of the class. Must implement the interface de.jave.eclipse.searcheclipse.ISearchInEclipsePage. I recommend subclassing de.jave.eclipse.searcheclipse.AbstractSearchInEclipsePage.
icon - a relative name of the image that will be used for all resources that match the specified extensions. If omitted, the search page's tab will only contain a label.
tabPosition - an integer defining where the page is placed in the page book. The value does not define the absolute position but the position relative to the other pages. The ordering of pages is as follows:
1. if neither page defines the tab position then they are ordered alphabetically according to their labels
2. if both pages have the tab position specified then the page with the lower value comes first. If the values are equal then the pages are treated as if the values would not exist (see 1.)
3. if only one page has the value specified then this page comes first

The following is an example of a search page extension definition:

   <extension point=
"de.jave.eclipse.searcheclipse.searchInEclipsePages"
>
      <page
         label=
"%PreferencesPageSearchPage.label"

         tabPosition=
"10"

         icon=
"icons/full/search.gif"

         id=
"de.jave.eclipse.searcheclipse.pages.preferencespage.PreferencesPageSearchPage"

         class=
"de.jave.eclipse.searcheclipse.pages.preferencespage.PreferencesPageSearchPage"
>
      </page>
   </extension>

Search in Eclipse Pages

Identifier:

Description:

Configuration Markup:

Examples: