fun display_options=(options: GtkCalendarDisplayOptions) `{
		gtk_calendar_set_display_options(self, options);
	`}