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.

Boîte de dialogue de la Sélection du jeu de documents

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 du Jeu de documents affichant une liste des types disponibles

 

Lorsque vous définissez votre propre type de jeu de documents, vous pouvez utiliser le protocole IWorkingSet.getId pour vous assurer que ce jeu de documents correspond au type défini.  L'ID de tout jeu de documents créé par programme doit être celui d'une page de jeu de documents capable d'afficher les éléments du jeu de documents.  Cet ID garantit l'activation de la page d'édition de jeu de documents appropriée lorsque l'utilisateur modifie le jeu de documents.  Un ID nul indique que le jeu de documents doit utiliser le type du jeu de documents de ressource par défaut.

Reportez-vous également à la documentation du point d'extension org.eclipse.ui.workingSets et au protocole IWorkingSet pour plus de détails.