Jeux de documents

org.eclipse.ui.workingSets

2.0

Ce point d'extension sert à définir une page d'assistant de jeu de documents. Les jeux de documents contiennent plusieurs éléments de type IAdaptable et peuvent être utilisés pour regrouper des éléments de présentation à l'utilisateur ou pour des opérations sur un ensemble d'éléments. Une page d'assistant de jeu de document est utilisée pour créer et éditer des jeux de documents contenant des éléments d'un type donné.

Pour sélectionner un jeu de documents, l'utilisateur obtient la liste de ceux existant dans le plan de travail. Il peut en choisir un et l'éditer grâce à l'une des pages de l'assistant recourant à ce point d'extension. Un jeu de documents existant est toujours édité avec la page d'assistant ayant servi à sa création ou avec celle par défaut basée sur les ressources si la page d'origine n'est pas disponible.

Un nouveau jeu de documents peut être défini par l'utilisateur à partir de la même boîte de dialogue. Après cela, la page d'assistant fournie par le plug-in est précédée d'une page répertoriant tous les types de jeux de documents disponibles. Cette liste indique les valeurs de l'attribut name pour chaque extension de jeu de documents.

Les vues offrent une interface utilisateur pour ouvrir la boîte de dialogue de sélection de jeux de documents. Elles doivent par ailleurs stocker le jeu sélectionné.

Le navigateur de ressources utilise un jeu de documents pour filtrer des éléments à partir de la vue Navigateur. Outre ces éléments, seuls les parents et enfants d'éléments de jeux de documents sont affichés dans la vue.

<!ELEMENT extension (workingSet*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT workingSet EMPTY>

<!ATTLIST workingSet

id           CDATA #REQUIRED

name         CDATA #REQUIRED

icon         CDATA #IMPLIED

pageClass    CDATA #IMPLIED

updaterClass CDATA #IMPLIED>


L'exemple ci-dessous illustre comment l'extension d'une boîte de dialogue de jeu de documents de ressource est définie pour afficher et éditer des éléments IResource génériques :

    

<extension point=

"org.eclipse.ui.workingSets"

>

<workingSet id=

"org.eclipse.ui.resourceWorkingSetPage"

name=

"Resource"

icon=

"icons/resworkset.gif"

pageClass=

"org.eclipse.ui.internal.dialogs.ResourceWorkingSetPage"

>

</workingSet>

</extension>

La valeur de l'attribut pageClass doit correspondre à une classe implémentant l'interface org.eclipse.ui.dialogs.IWorkingSetPage.

Le plan de travail fournit une page d'assistant de jeu de documents pour créer et éditer des jeux de documents basés sur des ressources.