c.dispose();
// fade the red color
int red = (int) (fraction * 255);
Color c = new Color(display, new RGB(red, 0, 0));
f_squareColor = c;
checkerboard.redraw();
}
};
final Animator animator = new Animator.Builder().setRepeatCount(Animator.INFINITE).setStartDirection(Direction.BACKWARD)
.addTarget(target).build();
final Button push = new Button(checkerboard, SWT.PUSH);