Jeux de documents

Les utilisateurs ressentent le besoin de filtrer des vues telles que Navigateur afin de réduire l'encombrement. Les plug-in peuvent aider à ce filtrage à l'aide de diverses techniques.

Si votre plug-in implémente une vue affichant des ressources (ou des objets adaptables à IResource), vous devez prendre en charge des jeux de documents. IWorkingSetManager fournit une API pour manipuler des jeux de documents. Vous pouvez obtenir IWorkingSetManager à l'aide de l'API IWorkbench.

IWorkingSetManager manager = workbench.getWorkingSetManager();

IWorkingSetManager vous permet de manipuler et créer des jeux de documents :

IWorkingSetManager fournit également une notification de changement de propriété lors de l'ajout, de la suppression ou de la modification de jeux. Si votre vue ou éditeur doit répondre aux changements dans le jeu de documents sélectionné, il ou elle peut ajouter un écouteur pour CHANGE_WORKING_SET_CONTENT_CHANGE.

Ajout de nouveaux types de jeux de documents

La plupart des plug-in se contentent d'utiliser IWorkingSetManager pour fournit un filtre de ressources. Si votre plug-in doit définir des jeux de documents autrement, il peut enregistrer un nouveau type à l'aide de org.eclipse.ui.workingSets. Les outils Java utilisent cette fonction pour définir un type de jeu de documents Java. Les types de jeux de documents sont affichés lorsque l'utilisateur décide d'en ajouter un.

Boîte de dialogue de jeu de documents affichant la liste des types disponibles

Reportez-vous également à la documentation du point d'extension org.eclipse.ui.workingSets pour en savoir plus.

Copyright IBM Corp. and others 2000,2002.