diff options
| author | dumi@chromium.org <dumi@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98> | 2009-07-23 00:35:22 +0000 |
|---|---|---|
| committer | dumi@chromium.org <dumi@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98> | 2009-07-23 00:35:22 +0000 |
| commit | 2679a06e0ac57d306eed6554e48451f09f59fe2c (patch) | |
| tree | fc333aedf7b98bd5549eb09a7db9f782702147f1 /webkit/api | |
| parent | ff03331621fad27ead23ddca2a218c342984a9a1 (diff) | |
| download | chromium_src-2679a06e0ac57d306eed6554e48451f09f59fe2c.zip chromium_src-2679a06e0ac57d306eed6554e48451f09f59fe2c.tar.gz chromium_src-2679a06e0ac57d306eed6554e48451f09f59fe2c.tar.bz2 | |
Remove the dependency on V8Proxy.h from test_shell.cc.
BUG=17300
TEST=none
Review URL: http://codereview.chromium.org/159232
git-svn-id: svn://svn.chromium.org/chrome/trunk/src@21358 0039d316-1c4b-4281-b951-d872f2087c98
Diffstat (limited to 'webkit/api')
| -rw-r--r-- | webkit/api/public/WebKit.h | 3 | ||||
| -rw-r--r-- | webkit/api/src/WebKit.cpp | 5 |
2 files changed, 8 insertions, 0 deletions
diff --git a/webkit/api/public/WebKit.h b/webkit/api/public/WebKit.h index a3e8086..f824808 100644 --- a/webkit/api/public/WebKit.h +++ b/webkit/api/public/WebKit.h @@ -77,6 +77,9 @@ namespace WebKit { WEBKIT_API void registerExtension(v8::Extension*, const WebString& schemeRestriction); + // Process any pending JavaScript console messages. + WEBKIT_API void flushConsoleMessages(); + // Enables HTML5 media support. WEBKIT_API void enableMediaPlayer(); diff --git a/webkit/api/src/WebKit.cpp b/webkit/api/src/WebKit.cpp index 085c31c..0bdbf42 100644 --- a/webkit/api/src/WebKit.cpp +++ b/webkit/api/src/WebKit.cpp @@ -106,6 +106,11 @@ void registerExtension(v8::Extension* extension, WebCore::V8Proxy::registerExtension(extension, schemeRestriction); } +void flushConsoleMessages() +{ + WebCore::V8Proxy::processConsoleMessages(); +} + void enableMediaPlayer() { #if ENABLE(VIDEO) |