| 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();
|
|
|
|
|