“double touch” is another name for Double tap.