| 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..13a611b858f01c631efeaa43a705a4013f76f5e9 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 &&
|
| + mouse_event.pointer_type == WebPointerProperties::PointerType::kPen) {
|
| + pointer_event_factory_.Remove(pointer_event->pointerId());
|
| + }
|
| return result;
|
| }
|
|
|
|
|