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. Seuls les parents et enfants d'éléments de jeux de documents sont affichés dans la vue, outre ces éléments en question.
<!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 #REQUIRED>
<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 qui l'accompagnent sont
fournis sous licence v1.0 associée à cette distribution et disponibles à
l'adresse suivante :
http://www.eclipse.org/legal/cpl-v10.html