| Index: cc/resources/resource_provider.h
|
| diff --git a/cc/resources/resource_provider.h b/cc/resources/resource_provider.h
|
| index addc05f055ad620ea223c648647c1837abc1eb03..cf1bb9b53f29624f205646aa34763611998e60ee 100644
|
| --- a/cc/resources/resource_provider.h
|
| +++ b/cc/resources/resource_provider.h
|
| @@ -88,6 +88,7 @@ class CC_EXPORT ResourceProvider {
|
| return use_rgba_4444_texture_format_ ? RGBA_4444 : best_texture_format_;
|
| }
|
| ResourceFormat best_texture_format() const { return best_texture_format_; }
|
| + bool use_sync_query() const { return use_sync_query_; }
|
| size_t num_resources() const { return resources_.size(); }
|
|
|
| // Checks whether a resource is in use by a consumer.
|
|
|