Index: content/renderer/renderer_webkitplatformsupport_impl.h |
diff --git a/content/renderer/renderer_webkitplatformsupport_impl.h b/content/renderer/renderer_webkitplatformsupport_impl.h |
index ada47210b620efc046a830e19d5ce714cac322d5..ae146ba0a41c98c4a302fe26a22ad48351383670 100644 |
--- a/content/renderer/renderer_webkitplatformsupport_impl.h |
+++ b/content/renderer/renderer_webkitplatformsupport_impl.h |
@@ -30,6 +30,10 @@ class CONTENT_EXPORT RendererWebKitPlatformSupportImpl |
RendererWebKitPlatformSupportImpl(); |
virtual ~RendererWebKitPlatformSupportImpl(); |
+ void set_plugin_refresh_allowed(bool plugin_refresh_allowed) { |
+ plugin_refresh_allowed_ = plugin_refresh_allowed; |
+ } |
+ bool plugin_refresh_allowed() const { return plugin_refresh_allowed_; } |
jam
2012/07/31 20:05:07
nit: not needed, so no point adding it
Fady Samuel
2012/07/31 20:20:59
Done.
|
// WebKitPlatformSupport methods: |
virtual WebKit::WebClipboard* clipboard() OVERRIDE; |
virtual WebKit::WebMimeRegistry* mimeRegistry() OVERRIDE; |
@@ -123,6 +127,9 @@ class CONTENT_EXPORT RendererWebKitPlatformSupportImpl |
// we tell the browser to enable fast termination. |
int sudden_termination_disables_; |
+ // If true, then a GetPlugins call is allowed to rescan the disk. |
+ bool plugin_refresh_allowed_; |
+ |
// Implementation of the WebSharedWorkerRepository APIs (provides an interface |
// to WorkerService on the browser thread. |
scoped_ptr<WebSharedWorkerRepositoryImpl> shared_worker_repository_; |