Index: Source/core/html/HTMLPlugInElement.h |
diff --git a/Source/core/html/HTMLPlugInElement.h b/Source/core/html/HTMLPlugInElement.h |
index 60864e0dd4253a6d8de5db2b02723d5dc5770df6..715853d36a86c5994a8943c5a972a3ff970fd9aa 100644 |
--- a/Source/core/html/HTMLPlugInElement.h |
+++ b/Source/core/html/HTMLPlugInElement.h |
@@ -57,6 +57,8 @@ public: |
void setNeedsWidgetUpdate(bool needsWidgetUpdate) { m_needsWidgetUpdate = needsWidgetUpdate; } |
void updateWidget(); |
+ bool shouldAccelerate(); |
+ |
void requestPluginCreationWithoutRendererIfPossible(); |
void createPluginWithoutRenderer(); |