return (int) adjustment.value;
return (int) (adjustment.value + 0.5);
public int getSelection () {	checkWidget ();		int /*long*/ hAdjustment = OS.gtk_spin_button_get_adjustment (handle);	GtkAdjustment adjustment = new GtkAdjustment ();	OS.memmove (adjustment, hAdjustment);	int digits = OS.gtk_spin_button_get_digits (handle);	for (int i = 0; i < digits; i++) adjustment.value *= 10;	return (int) adjustment.value;}