| 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;
|
|
|