Property definitions

gtk $ GtkAssistant :: set_page_title
	fun set_page_title(page: GtkWidget, title: String) import String.to_cstring `{
		gtk_assistant_set_page_title(self, page, String_to_cstring(title));
	`}
lib/gtk/v3_4/gtk_assistant.nit:79,2--81,3