Søkesider

org.eclipse.search.searchPages

Dette utvidelsespunktet tillater at en plugin-modul registrerer søkesider for spesialiserte søk. Når søkehandlingen utføres i en ressurs, finner infrastrukturen for søket den mest spesifikke registrerte søkesiden for den.

<!ELEMENT extension (page*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT page EMPTY>

<!ATTLIST page

id                         CDATA #REQUIRED

label                      CDATA #REQUIRED

class                      CDATA #REQUIRED

icon                       CDATA #IMPLIED

sizeHint                   CDATA #IMPLIED

tabPosition                CDATA #IMPLIED

extensions                 CDATA #IMPLIED

searchViewHelpContextId    CDATA #IMPLIED

showScopeSection           (true | false)

enabled                    (true | false)

canSearchEnclosingProjects (true | false) >


Nedenfor finner du et eksempel på en definisjon av en søkesideutvidelse:

   

<extension point=

"org.eclipse.search.searchPages"

>

<page id=

"org.eclipse.search.ui.text.TextSearchPage"

label=

"Text Search"

icon=

"icons/full/obj16/tsearch_pref.gif"

sizeHint=

"250,160"

tabPosition=

"1"

extensions=

"*:1"

showScopeSection=

"true"

class=

"org.eclipse.search.ui.text.TextSearchPage"

>

</page>

</extension>

Klassen må implementere org.eclipse.search.ui.ISearchPage.

Søkeinfrastrukturen har en søkeside for tekstsøk.