else {style = new StyleRange(i, 1, range.foreground, range.background, range.fontStyle | SWT.BOLD);};
else {style = new StyleRange(i, 1, range.foreground, range.background, range.fontStyle | SWT.BOLD);}
			public void widgetSelected (SelectionEvent e) {				Point sel = styledText.getSelectionRange();				if ((sel == null) || (sel.y == 0)) return;				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, null, null, SWT.BOLD);}					else {style = new StyleRange(i, 1, range.foreground, range.background, range.fontStyle | SWT.BOLD);};					styledText.setStyleRange(style);				}				styledText.setSelectionRange(sel.x + sel.y, 0);			}