Søgesider

org.eclipse.search.searchPages

Med dette udvidelsespunkt kan en plugin registrere søgesider for specielle søgninger. Når søgefunktionen udføres i forbindelse med en ressource, finder søgeinfrastrukturen den mest specifikke registrerede søgeside til den.

<!ELEMENT extension (page*)>

<!ATTLIST-udvidelse

point CDATA #REQUIRED

id    CDATA #IMPLIED

navn  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) >


Det følgende er et eksempel på en definition på en søgesideudvidelse:

   

<udvidelsespunkt=

"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>

Den leverede klasse skal implementere org.eclipse.search.ui.ISearchPage

Søgeinfrastrukturen leverer en søgeside til fuldstændig tekstsøgning.