Index: third_party/WebKit/Source/core/input/PointerEventManager.cpp |
diff --git a/third_party/WebKit/Source/core/input/PointerEventManager.cpp b/third_party/WebKit/Source/core/input/PointerEventManager.cpp |
index b4bf7541f4b9c6c8c3f1a60af86f90840e96f2cf..e543a98baab3f1352d9e22116b018c7594052548 100644 |
--- a/third_party/WebKit/Source/core/input/PointerEventManager.cpp |
+++ b/third_party/WebKit/Source/core/input/PointerEventManager.cpp |
@@ -523,6 +523,10 @@ WebInputEventResult PointerEventManager::SendMousePointerEvent( |
} |
} |
+ if (mouse_event.GetType() == WebInputEvent::kMouseLeave && |
+ pointer_event->pointerType() == "pen") { |
dtapuska
2017/04/27 16:57:39
I think this could probably be:
mouse_event.pointe
lanwei
2017/04/27 20:18:20
Done.
|
+ pointer_event_factory_.Remove(pointer_event->pointerId()); |
+ } |
return result; |
} |