redrawHandle(0, 0, 0, 0, handle, false);
public void setSelection (int selection) {	checkWidget();	if (selection < 0) return;    OS.SetControl32BitValue(handle, selection);    redrawHandle(0, 0, 0, 0, handle, false);}