| Index: public/web/WebDevToolsFrontendClient.h
|
| diff --git a/public/web/WebDevToolsFrontendClient.h b/public/web/WebDevToolsFrontendClient.h
|
| index 29146f3c4ebe4fead04f56dc68e9208f3b352996..b27099643986b5fc7f8bb861e0f7c63b44818db9 100644
|
| --- a/public/web/WebDevToolsFrontendClient.h
|
| +++ b/public/web/WebDevToolsFrontendClient.h
|
| @@ -42,6 +42,7 @@ public:
|
| WebDevToolsFrontendClient() { }
|
|
|
| virtual void sendMessageToBackend(const WebString&) { }
|
| + virtual void sendMessageToEmbedder(const WebString&) { }
|
|
|
| virtual void activateWindow() { }
|
| virtual void changeAttachedWindowHeight(unsigned height) { }
|
|
|