dialog.open();
if (dialog.getReturnCode() == Window.OK) {
//update the preferences and refresh the viewer (when we update the preferences, the
//filter that uses this will promptly update its values -- just before the refresh).
prefs.setValue(CUSTOM_FILTERS_PREFERENCE_NAME, dialog.getValue());
PydevPackageExplorer p = (PydevPackageExplorer) view;
p.getCommonViewer().refresh();
}
}
});
}