Property definitions

gtk $ GtkCalendar :: display_options
	fun display_options: GtkCalendarDisplayOptions `{
		return gtk_calendar_get_display_options(self);
	`}
lib/gtk/v3_4/gtk_widgets_ext.nit:55,2--57,3