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>
<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>
Copyright (c) 2002, 2004 IBM Corporation and others.
All rights reserved. Ce programme et les produits associés sont
distribués sous licence v1.0 et disponibles à
l'adresse suivante :
http://www.eclipse.org/legal/epl-v10.html