Index: Source/core/html/HTMLPlugInElement.h |
diff --git a/Source/core/html/HTMLPlugInElement.h b/Source/core/html/HTMLPlugInElement.h |
index 058cb02c072e0a0a2d75a042605d546c4a9c4ba3..9de4531c6477a4cf604726f318cff8addf1173c0 100644 |
--- a/Source/core/html/HTMLPlugInElement.h |
+++ b/Source/core/html/HTMLPlugInElement.h |
@@ -58,6 +58,8 @@ public: |
void setNeedsWidgetUpdate(bool needsWidgetUpdate) { m_needsWidgetUpdate = needsWidgetUpdate; } |
void updateWidget(); |
+ bool shouldAccelerate() const; |
+ |
void requestPluginCreationWithoutRendererIfPossible(); |
void createPluginWithoutRenderer(); |