fun adjustment: GtkAdjustment `{
		return gtk_spin_button_get_adjustment(self);
	`}