diff options
| author | yurys@chromium.org <yurys@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98> | 2009-12-03 07:11:34 +0000 |
|---|---|---|
| committer | yurys@chromium.org <yurys@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98> | 2009-12-03 07:11:34 +0000 |
| commit | 3d248b2db2eae7c805ada987f997caa0929700c7 (patch) | |
| tree | e00b151dee03e241775e33f460b0585dd49b20ea /webkit/glue/webplugin.h | |
| parent | 53a5453c5ade1cadf95989a2102cf56873888e78 (diff) | |
| download | chromium_src-3d248b2db2eae7c805ada987f997caa0929700c7.zip chromium_src-3d248b2db2eae7c805ada987f997caa0929700c7.tar.gz chromium_src-3d248b2db2eae7c805ada987f997caa0929700c7.tar.bz2 | |
Send resource load notifications from plugins to devtools agent. This is a part of a fix which would allow to inspect plugin resources.
BUG=2084
Review URL: http://codereview.chromium.org/435044
git-svn-id: svn://svn.chromium.org/chrome/trunk/src@33672 0039d316-1c4b-4281-b951-d872f2087c98
Diffstat (limited to 'webkit/glue/webplugin.h')
| -rw-r--r-- | webkit/glue/webplugin.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/webkit/glue/webplugin.h b/webkit/glue/webplugin.h index 194b99d..90ac44a 100644 --- a/webkit/glue/webplugin.h +++ b/webkit/glue/webplugin.h @@ -67,7 +67,7 @@ class WebPlugin { // Cancels a pending request. virtual void SetWindowlessPumpEvent(HANDLE pump_messages_event) = 0; #endif - virtual void CancelResource(int id) = 0; + virtual void CancelResource(unsigned long id) = 0; virtual void Invalidate() = 0; virtual void InvalidateRect(const gfx::Rect& rect) = 0; @@ -125,7 +125,8 @@ class WebPlugin { // Defers the loading of the resource identified by resource_id. This is // controlled by the defer parameter. - virtual void SetDeferResourceLoading(int resource_id, bool defer) = 0; + virtual void SetDeferResourceLoading(unsigned long resource_id, + bool defer) = 0; // Gets the WebPluginDelegate that implements the interface. // This API is only for use with Pepper, and hence only with |