@Override protected boolean showPage(IPreferenceNode node) { final boolean success = super.showPage(node); if (success) { history.addHistoryEntry(new PreferenceHistoryEntry(node.getId(), node.getLabelText(), null)); } return success; }
@Override public void selectionChanged(SelectionChangedEvent event) { final Object selection = getSingleSelection(event.getSelection()); if (selection instanceof IPreferenceNode) { BusyIndicator.showWhile(getShell().getDisplay(), () -> { if (!isCurrentPageValid()) { handleError(); } else if (!showPage((IPreferenceNode) selection)) { // Page flipping wasn't successful handleError(); } else { // Everything went well lastSuccessfulNode = (IPreferenceNode) selection; } }); } } });
@Override public void selectionChanged(SelectionChangedEvent event) { final IPreferenceNode node = getSingleSelection(event.getSelection()); if (node != null) { BusyIndicator.showWhile(getShell().getDisplay(), () -> { if (!isCurrentPageValid()) { handleError(); } else if (!showPage(node)) { // Page flipping wasn't successful handleError(); } else { // Everything went well lastSuccessfulNode = node; } }); } } });