#The widget is in vertical orientation.
	new vertical `{ return GTK_ORIENTATION_VERTICAL; `}