Index: third_party/WebKit/public/web/WebView.h |
diff --git a/third_party/WebKit/public/web/WebView.h b/third_party/WebKit/public/web/WebView.h |
index 83d8c134ba8de5c72e2655aaf0aff2d3c84f5b29..0be409178d5b6e326d916613929994dba7232946 100644 |
--- a/third_party/WebKit/public/web/WebView.h |
+++ b/third_party/WebKit/public/web/WebView.h |
@@ -391,6 +391,9 @@ public: |
// Shows a context menu for the currently focused element. |
virtual void showContextMenu() = 0; |
+ // Notify that context menu has been closed. |
+ virtual void didCloseContextMenu() = 0; |
+ |
// SmartClip support --------------------------------------------------- |
virtual void extractSmartClipData(WebRect initRect, WebString& text, WebString& html, WebRect& resultRect) = 0; |