Het is voor de gebruiker vaak wenselijk als views, zoals de view Navigator, worden gefilterd om ervoor te zorgen dat het werkgebied overzichtelijk blijft. Plugins kunnen op verschillende manieren helpen bij het filteren.
Als uw plugin een view implementeert waarmee resources (of objecten die aanpasbaar zijn als IResource) worden afgebeeld, moet u ondersteuning voor werksets instellen. IWorkingSetManager biedt API voor het manipuleren van werksets. U kunt een IWorkingSetManager instellen met de API van IWorkbench.
IWorkingSetManager manager = workbench.getWorkingSetManager();
IWorkingSetManager stelt u in staat werksets te manipuleren en te maken:
IWorkingSetManager houdt ook bij wanneer eigenschappen worden gewijzigd tijdens het toevoegen, verwijderen of wijzigen van werksets. Als u wilt dat een view of editor reageert of wijzigingen in de geselecteerde werkset, kunt u een listener toevoegen voor CHANGE_WORKING_SET_CONTENT_CHANGE.
Voor veel plugin hoeft u alleen IWorkingSetManager te gebruiken voor het filteren van resources. Als u werksets op een andere manier wilt definiëren voor een plugin, kunt u een nieuw type werkset definiëren met org.eclipse.ui.workingSets. De Java-tool gebruikt deze voorziening voor het definiëren van een Java-werksettype. Werksettypen worden afgebeeld als de gebruiker een werkset wil toevoegen.
Als u zelf een werkset definieert, kunt u het protocol IWorkingSet.getId toepassen om ervoor te zorgen dat de werkset overeenkomt met het door u gedefinieerde type. Voor alle werksets die met programmeercode worden gemaakt, geldt dat het ID moet zijn ingesteld op het ID van een werksetpagina waarop de elementen van een werkset kunnen worden afgebeeld. Het ID wordt gebruikt om ervoor te zorgen dat de juiste bewerkingspagina van de werkset wordt geopend bij het wijzigen van de werkset. Een null-ID geeft aan dat het standaardwerksettype voor resources moet worden toegepast.
Raadpleeg de documentatie van het extensiepunt org.eclipse.ui.workingSets en het protocol IWorkingSet voor meer informatie.