public interface ViewManagerContext extends ViewManagerListener
Modifier and Type | Method and Description |
---|---|
void |
setSelectionProvider(org.eclipse.jface.viewers.ISelectionProvider selectionProvider) |
viewActiveChanged, viewControlChanged, viewDefaultChanged, viewLazynessChanged, viewVisibilityChanged