@Override public void selectionChanged(SelectionChangedEvent event) { getSelectionProvider().selectionChanged(event); }
public void selectionChanged(SelectionChangedEvent event) { getSelectionProvider().selectionChanged(event); }
@Override public void selectionChanged(SelectionChangedEvent event) { getSelectionProvider().selectionChanged(event); }
/** * Handle page selection changes. * * @param event */ private void pageSelectionChanged(SelectionChangedEvent event) { // forward this change from a page to our site's selection provider SelectionProvider provider = (SelectionProvider) getSite().getSelectionProvider(); if (provider != null) { provider.selectionChanged(event); } }
private void forwardSelection(SelectionChangedEvent event) { getSelectionProvider().selectionChanged(event); getSelectionProvider().postSelectionChanged(event); }