Property definitions

gtk $ GtkSpinType :: defaultinit
# enum GtkSpinType
# The values of the GtkSpinType enumeration are used to specify the change to make in gtk_spin_button_spin().
# See: https://developer.gnome.org/gtk3/stable/GtkSpinButton.html#GtkSpinType
extern class GtkSpinType `{GtkSpinType`}
	# Increment by the adjustments step increment.
	new step_forward `{ return GTK_SPIN_STEP_FORWARD; `}

	# Decrement by the adjustments step increment.
	new step_backward `{ return GTK_SPIN_STEP_BACKWARD; `}

	# Increment by the adjustments page increment.
	new page_forward `{ return GTK_SPIN_PAGE_FORWARD; `}

	# Decrement by the adjustments page increment.
	new page_backward `{ return GTK_SPIN_PAGE_BACKWARD; `}

	# Go to the adjustments lower bound.
	new lower_bound `{ return GTK_SPIN_HOME; `}

	# Go to the adjustments upper bound.
	new upper_bound `{ return GTK_SPIN_END; `}

	# Change by a specified amount.
	new user_defined `{ return GTK_SPIN_USER_DEFINED; `}
end
lib/gtk/v3_4/gtk_widgets_ext.nit:207,1--231,3