We don't want the pencil to be used for selecting text or zoom.
Created attachment 270222 [details]
Comment on attachment 270222 [details]
View in context: https://bugs.webkit.org/attachment.cgi?id=270222&action=review
> + _doubleTapGestureRecognizer.get().allowedTouchTypes = @[@(UITouchTypeDirect)];
[_doubleTapGestureRecognizer allowedTouchTypes] (we do prefer dot notation but not in the case where you have to do this horrible .get(). thing, I think.
spaces inside the @
> + UITouch *touch = (UITouch *)[gestureRecognizer.touches lastObject];
Do you really need this cast? Should be id -> UITouch * which should work without complaint.
Committed revision 195826.
This broke the iOS build