| Index: public/web/WebViewClient.h
|
| diff --git a/public/web/WebViewClient.h b/public/web/WebViewClient.h
|
| index 7056dd64b7dc427d90fcf9c4d787ef0943c3f5e8..b2e5027b26f702986ca7f47740986b8c83975021 100644
|
| --- a/public/web/WebViewClient.h
|
| +++ b/public/web/WebViewClient.h
|
| @@ -45,6 +45,7 @@
|
| #include "WebTextAffinity.h"
|
| #include "WebTextDirection.h"
|
| #include "WebWidgetClient.h"
|
| +#include <v8.h>
|
|
|
| namespace WebKit {
|
|
|
| @@ -126,9 +127,15 @@ public:
|
|
|
| // Misc ----------------------------------------------------------------
|
|
|
| - // A new message was added to the console.
|
| + // Whether or not we should report a detailed message from the given source.
|
| + virtual bool shouldReportDetailedMessage(v8::Handle<v8::Context>, const WebString& source) { return false; }
|
| +
|
| + // A new message was added to the console. If a detailed message should be
|
| + // reported, a stringified JSON object is included; otherwise, |details| is
|
| + // empty.
|
| virtual void didAddMessageToConsole(
|
| - const WebConsoleMessage&, const WebString& sourceName, unsigned sourceLine) { }
|
| + const WebConsoleMessage&, const WebString& sourceName,
|
| + unsigned sourceLine, const WebString& details) { }
|
|
|
| // Called when script in the page calls window.print(). If frame is
|
| // non-null, then it selects a particular frame, including its
|
|
|