| Index: Source/web/WebDevToolsAgentImpl.h
|
| diff --git a/Source/web/WebDevToolsAgentImpl.h b/Source/web/WebDevToolsAgentImpl.h
|
| index 19e5a86841a4cc86ff7b46fe5295e3d3c22eef3b..d05bb9bf5bf960c603d21552dfa9980d74cab6c4 100644
|
| --- a/Source/web/WebDevToolsAgentImpl.h
|
| +++ b/Source/web/WebDevToolsAgentImpl.h
|
| @@ -124,6 +124,8 @@ public:
|
| // WebPageOverlay
|
| virtual void paintPageOverlay(WebCanvas*) OVERRIDE;
|
|
|
| + void flushPendingFrontendMessages();
|
| +
|
| private:
|
| // WebThread::TaskObserver
|
| virtual void willProcessTask() OVERRIDE;
|
|
|