public void widgetSelected(SelectionEvent e) {
PreferenceDialog dialog = PreferencesUtil.createPreferenceDialogOn(
PHPDebugPreferencesBlock.this.propertyPage.getShell(),
propertyPageID, null, null);
dialog.setBlockOnOpen(true);
dialog.addPageChangedListener(new IPageChangedListener() {
public void pageChanged(PageChangedEvent event) {
refreshDebuggers();
}
});
dialog.open();