Index: cc/resources/resource_provider.h |
diff --git a/cc/resources/resource_provider.h b/cc/resources/resource_provider.h |
index 6136015a326bf91d30c0e063d9c4c5101f06639f..36df7a280df39baec5d9a4a114790a006f00a36d 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. |