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