d.verticalAlignment = SWT.FILL;
d.grabExcessVerticalSpace = true;
g.setLayoutData(d);
// Create the slider
final Scale slider = new Scale(g, SWT.HORIZONTAL);
d = new GridData();
d.horizontalAlignment = SWT.FILL;
d.grabExcessHorizontalSpace = true;
d.verticalAlignment = SWT.CENTER;
d.grabExcessVerticalSpace = true;
slider.setLayoutData(d);
slider.setMinimum(1);
slider.setMaximum(1000);
slider.setIncrement(100);
slider.setPageIncrement(100);
slider.setEnabled(true);
startButton.addSelectionListener(new SelectionListener() {
/*
* (non-Javadoc)
*
* @see
* org.eclipse.swt.events.SelectionListener#widgetSelected(org.eclipse
* .swt.events.SelectionEvent)
*/
@Override
public void widgetSelected(SelectionEvent arg0) {
if (allfound)
sudoku.reset();
allfound = false;
startButton.setEnabled(false);
pauzeButton.setEnabled(true);
start();
}
/*
* (non-Javadoc)
*
* @see
* org.eclipse.swt.events.SelectionListener#widgetDefaultSelected
* (org.eclipse.swt.events.SelectionEvent)
*/
@Override
public void widgetDefaultSelected(SelectionEvent arg0) {
}
});
clearButton.addSelectionListener(new SelectionListener() {
@Override
public void widgetSelected(SelectionEvent arg0) {
startButton.setText("Start");
startButton.setEnabled(true);
pauzeButton.setSelection(false);
pauzeButton.setEnabled(false);
solving = false;
pauze = false;
previous = null;
allfound = false;
sudoku.reset();
}
@Override
public void widgetDefaultSelected(SelectionEvent arg0) {
}
});
pauzeButton.addSelectionListener(new SelectionListener() {
/*
* (non-Javadoc)
*
* @see
* org.eclipse.swt.events.SelectionListener#widgetSelected(org.eclipse
* .swt.events.SelectionEvent)
*/
@Override
public void widgetSelected(SelectionEvent arg0) {
pauze();
}
/*
* (non-Javadoc)
*
* @see
* org.eclipse.swt.events.SelectionListener#widgetDefaultSelected
* (org.eclipse.swt.events.SelectionEvent)
*/
@Override
public void widgetDefaultSelected(SelectionEvent arg0) {
}
});
slider.addSelectionListener(new SelectionListener() {
/*
* (non-Javadoc)
*
* @see
* org.eclipse.swt.events.SelectionListener#widgetSelected(org.eclipse
* .swt.events.SelectionEvent)
*/
@Override
public void widgetSelected(SelectionEvent e) {
stepsPerSecond = slider.getSelection();
}
/*
* (non-Javadoc)
*