Suchseiten

org.eclipse.search.searchPages

Über diesen Erweiterungspunkt kann ein Plug-in Suchseiten für spezielle Suchvorgänge registrieren. Wenn die Suchaktion für eine Ressource ausgeführt wird, lokalisiert die Suchinfrastruktur die am meisten spezifische Suchseite, die für die Ressource registriert ist.

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


Beispiel einer Erweiterungsdefinition für eine Suchseite:

   

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

Die ergänzte Klasse muss org.eclipse.search.ui.ISearchPage implementieren.

Die Suchinfrastruktur stellt eine Suchseite für die Volltextsuche zur Verfügung.