# Allow only digits
	new digits `{ return GTK_INPUT_PURPOSE_DIGITS; `}