*/
public void widgetSelected(SelectionEvent e) {
if (e.widget == regexFontButton || e.widget == searchTextFontButton || e.widget == resultFontButton) {
FontDialog fontDialog = new FontDialog(getShell());
fontDialog.setFontList(new FontData[]{fontData((String) ((Button) e.widget).getData())});
FontData fontData = fontDialog.open();
if (fontData != null) {
if (e.widget == regexFontButton) {
regexFontData = fontData;
regexFontText.setText(fontData.getName() + ", " + fontData.getHeight());
regexFontText.setFont(new Font(Display.getCurrent(), fontData));