| 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 7a8867cae0ebee44a9b33ddeb311485c027d4478..e0fd1bf6de7c07c807db5c66df6cccd456dc1b90 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;
|
|
|