handleDoubleTap method Null safety
If ignorePointer is false (the default) then this method is called by the internal gesture recognizer's DoubleTapGestureRecognizer.onDoubleTap callback.
When ignorePointer is true, an ancestor widget must respond to double tap events by calling this method.
Implementation
void handleDoubleTap() {
selectWord(cause: SelectionChangedCause.doubleTap);
}