Property definitions

gtk $ GtkSpinButton :: value
	fun value: Float `{
		return gtk_spin_button_get_value(self);
	`}
lib/gtk/v3_4/gtk_widgets_ext.nit:194,2--196,3