public void widgetDefaultSelected(SelectionEvent e) {
// Clean up any previous editor control
Control oldEditor = editor1.getEditor();
if (oldEditor != null) {
oldEditor.dispose();
}
oldEditor = editor2.getEditor();
if (oldEditor != null) {
oldEditor.dispose();