};
}
			public void widgetSelected (SelectionEvent e) {				Point sel = styledText.getSelectionRange();				if ((sel == null) || (sel.y == 0)) return;				Color fg, bg;				if (e.widget == redButton) {					fg = display.getSystemColor (SWT.COLOR_RED);					bg = null;				} else if (e.widget == yellowButton) {					fg = null;					bg = display.getSystemColor (SWT.COLOR_YELLOW);				} else {					fg = bg = null;				}				StyleRange style;				for (int i = sel.x; i<sel.x+sel.y; i++) {					StyleRange range = styledText.getStyleRangeAtOffset(i);					if (range == null) {						style = new StyleRange(i, 1, fg, bg, SWT.NORMAL);					}					else {						if (range.foreground != null) fg = range.foreground;						if (range.background != null) bg = range.background;						style = new StyleRange(i, 1, fg, bg, range.fontStyle);					};					styledText.setStyleRange(style);				}				styledText.setSelectionRange(sel.x + sel.y, 0);			};