| Index: Source/core/page/EventHandler.h
|
| diff --git a/Source/core/page/EventHandler.h b/Source/core/page/EventHandler.h
|
| index 720bbe86437d67829516163690a4d91d9bd9e6ef..30f69369c6a6b7036df5ad3d2002ee1c8c8ca69a 100644
|
| --- a/Source/core/page/EventHandler.h
|
| +++ b/Source/core/page/EventHandler.h
|
| @@ -188,6 +188,7 @@ public:
|
| bool useHandCursor(Node*, bool isOverLink);
|
|
|
| void notifyElementActivated();
|
| + void notifySelectionChanged();
|
|
|
| PassRefPtr<UserGestureToken> takeLastMouseDownGestureToken() { return m_lastMouseDownUserGestureToken.release(); }
|
|
|
|
|