Páginas de búsqueda
Identificador: org.eclipse.search.searchPages
Descripción: este punto de extensión permite que un conector registre páginas de búsqueda para realizar
búsquedas especializadas.
Cuando se realiza la acción de búsqueda en un recurso, la infraestructura de búsqueda localiza la página de búsqueda
registrada más adecuada para ella.
Códigos de configuración:
<!ELEMENT page EMPTY>
<!ATTLIST page
id CDATA #REQUIRED
label CDATA #REQUIRED
class CDATA #REQUIRED
icon CDATA #IMPLIED
sizeHint CDATA #REQUIRED
tabPosition CDATA #IMPLIED
extensions CDATA #IMPLIED
-
id - nombre exclusivo que se utilizará para identificar esta página de búsqueda
-
label - etiqueta convertible que se utilizará en la pestaña de la página de búsqueda
-
class - nombre de la clase que implementa org.eclipse.jface.dialogs.IDialogPage.
Se recomienda organizar org.eclipse.jface.dialogs.DialogPage en subclases.
-
icon - nombre relativo de la imagen que se utilizará para todos los recursos que coincidan con las extensiones
especificadas.
Si se omite, la pestaña de la página de búsqueda únicamente contendrá una etiqueta.
-
sizeHint - sugerencia para el tamaño inicial de la página. Se trata de una serie de caracteres que contienen la
altura y la anchura separadas por comas (por ejemplo, "50, 60"). En el caso de que se omita esta sugerencia, el tamaño de
la página no será mayor que el de las demás.
-
tabPosition - entero que define dónde se colocará la página en el libro de páginas. El valor no define la posición
absoluta sino la posición relativa respecto a las otras páginas. Las páginas se ordenan según estos criterios:
- si ninguna página define la posición de la pestaña, se ordenarán alfabéticamente por etiqueta
- si se ha especificado la posición de la pestaña de las páginas, los valores más bajos son los primeros. Si los valores
son idénticos, las páginas se tratarán como si los valores no existieran (ver punto 1).
- si solo se ha especificado el valor de una página, ésta será la primera página
-
extensions - lista separada por comas de las extensiones de archivo en las que puede actuar la página de búsqueda.
Cada extensión también debe incluir un peso (siendo 0 el peso menor), que permite que la infraestructura de búsqueda
encuentre la página que mejor se adapte.
El peso se separa de la extensión mediante el signo de dos puntos (":").
Si una página de búsqueda puede buscar todos los recursos posibles entonces puede utilizarse "*".
Ejemplos:
El siguiente es un ejemplo de una definición de extensión de una página de búsqueda:
<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"
class="org.eclipse.search.ui.text.TextSearchPage"
</page>
</extension>
Implementación suministrada: la infraestructura de búsqueda proporciona una página de búsqueda para buscar en la totalidad del texto.