We don't want the pencil to be used for selecting text or zoom. rdar://problem/24337778
Created attachment 270222 [details] Patch
Comment on attachment 270222 [details] Patch View in context: https://bugs.webkit.org/attachment.cgi?id=270222&action=review > Source/WebKit2/UIProcess/ios/WKContentViewInteraction.mm:437 > + _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 @[] > Source/WebKit2/UIProcess/ios/WKContentViewInteraction.mm:1336 > + 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 <https://build.webkit.org/builders/Apple%20iOS%209%20Release%20%28Build%29/builds/2265/steps/compile-webkit/logs/stdio>