read / write
Called when the user has tapped the screen with a primary button at the same location twice in quick succession.
This triggers when the pointer stops contacting the device after the second tap.
allowedButtonsFilter, which decides which button will be allowed.
- GestureDetector.onDoubleTap, which exposes this callback.