/** * Opens the preference dialog to the correct page an allows editing of variables */ protected void editVariables() { final Display display = DebugUIPlugin.getStandardDisplay(); BusyIndicator.showWhile(display, () -> { // show the preference page in a new dialog rather than using the utility method // to re-use a // preference page, in case this dialog is being opened from a preference page if (showVariablesPage()) { final IStringVariable[] elements = VariablesPlugin.getDefault().getStringVariableManager() .getVariables(); display.asyncExec(() -> setListElements(elements)); } }); }