/** @return either Window.OK or Window.CANCEL */
private int showPreferenceDialog() {
FilteredPreferenceDialog dialog =
WorkbenchPreferenceDialog.createDialogOn(window.getShell(), DebugPreferencePage.PAGE_ID);
dialog.showOnly(new String[] {DebugPreferencePage.PAGE_ID});
return dialog.open();
}
/**
* Apply the data to the first page if there is any.
*
* @param data The data to be applied
* @param displayedIds The ids to filter to.
* @param dialog The dialog to apply to.
*/
private static void applyOptions(
Object data, String[] displayedIds, FilteredPreferenceDialog dialog) {
if (data != null) {
dialog.setPageData(data);
IPreferencePage page = dialog.getCurrentPage();
if (page instanceof PreferencePage) {
((PreferencePage) page).applyData(data);
}
}
if (displayedIds != null) {
dialog.showOnly(displayedIds);
}
}
/**
* Sets the current page to be the one corresponding to the given index in the page history.
*
* @param index the index into the page history
*/
private void jumpToHistory(int index) {
if (index >= 0 && index < history.size()) {
historyIndex = index;
dialog.setCurrentPageId(getHistoryEntry(index).getId());
}
updateHistoryControls();
}
/**
* Registers the given action with the workbench command support.
*
* @param action the action to register.
*/
private void registerKeybindings(IAction action) {
final IHandler handler = new ActionHandler(action);
final IHandlerService handlerService =
(IHandlerService) PlatformUI.getWorkbench().getService(IHandlerService.class);
final IHandlerActivation activation =
handlerService.activateHandler(
action.getActionDefinitionId(), handler, new ActiveShellExpression(dialog.getShell()));
activations.add(activation);
}